Data di Pubblicazione:
1994
Abstract:
Sommario non disponibile.
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Time/action tree semantics; LOTOS
Elenco autori:
Bolognesi, Tommaso
Link alla scheda completa:
Titolo del libro:
Theories and Experiences for Real-Time System Development