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