Data di Pubblicazione:
1998
Abstract:
An abstract is not available.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Fault-tolerance; Formal verification; Model checking
Elenco autori:
Fantechi, Alessandro; Gnesi, Stefania
Link alla scheda completa: