Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling

FURIA, CARLO ALBERTO;ROSSI, MATTEO GIOVANNI
2006-01-01

2006
Formal Modeling and Analysis of Timed Systems
9783540450269
INF
File in questo prodotto:
File Dimensione Formato  
chp%3A10.1007%2F11867340_16.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 508.03 kB
Formato Adobe PDF
508.03 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/268003
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 11
social impact