Compositional Verification of Infinite State Systems.

Articolo
Data di Pubblicazione:
2003
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Autori di Ateneo:
MEO MARIA CHIARA
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/101881
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series