Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Contributo in Atti di convegno
Data di Pubblicazione:
2006
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Lanotte, Ruggero; A., MAGGIOLO SCHETTINI; P., Milazzo; A., Troina
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science