Data di Pubblicazione:
2010
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
temporal logic; model checking
Elenco autori:
Pradella, Matteo
Link alla scheda completa: