Data di Pubblicazione:
2008
Abstract:
No abstract avaible
Tipologia CRIS:
05.11 Software
Keywords:
Model cheking; Temporal logics; Modelli comportamentali
Elenco autori:
Mazzanti, Franco
Link alla scheda completa: