Italiano (Italian) English (Inglese)
domenica, 23 giugno 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Elvio Gilberto Amparore
Marco Beccuti
Susanna Donatelli
Giuliana Franceschinis
Titolo:Probe Automata for Passage Time Specification
Apparso su:QEST
Pagine:101-110
Anno:2011
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.dblp.org/db/...ty.org/10.1109/QEST.2011.20