Publications
| Authors: | Elvio Gilberto Amparore |
| Marco Beccuti | |
| Susanna Donatelli | |
| Giuliana Franceschinis | |
| Title: | Probe Automata for Passage Time Specification |
| Published on: | QEST |
| Pages: | 101-110 |
| Year: | 2011 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...ty.org/10.1109/QEST.2011.20 |