Pubblicazioni
| 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 |