Data di Pubblicazione:
1993
Citazione:
Merlot: a tool for analysis of real-time specifications / C. Bellettini, M. Felder, M. Pezze - In: Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on[s.l] : IEEE, 1993. - ISBN 0-8186-4360-9. - pp. 110-119 (( convegno International Workshop on Software Specification and Design [10.1109/IWSSD.1993.315507].
Tipologia IRIS:
03 - Contributo in volume
Elenco autori:
C. Bellettini, M. Felder, M. Pezze
Link alla scheda completa:
Titolo del libro:
Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on