A tool for deciding the satisfiability of continuous-time metric temporal logic

BERSANI, MARCELLO MARIA;ROSSI, MATTEO GIOVANNI;SAN PIETRO, PIERLUIGI
2016-01-01

2016
Computer Networks and Communications; Information Systems; Software
File in questo prodotto:
File Dimensione Formato  
art%3A10.1007%2Fs00236-015-0229-y.pdf

Accesso riservato

Descrizione: Versione pubblicata
: Publisher’s version
Dimensione 1.26 MB
Formato Adobe PDF
1.26 MB Adobe PDF   Visualizza/Apri
BersaniEtAl-CLTLocTool-ActaInf.pdf

accesso aperto

Descrizione: Accepted manuscript
: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 709.2 kB
Formato Adobe PDF
709.2 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/964235
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
  • ???jsp.display-item.citation.isi??? 18
social impact