Data di Pubblicazione:
1989
Abstract:
No abstract available
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
equivalence verification
Elenco autori:
Bolognesi, Tommaso
Link alla scheda completa:
Titolo del libro:
The formal description technique LOTOS -- Results of the ESPRIT/SEDOS project