Tool Demo: PaMoChSA 1.0. School on Formal Methods for the Design of Computer, Software and Communication Systems: Process Algebras
Contributo in Atti di convegno
Data di Pubblicazione:
2001
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Martinelli, Fabio; Petrocchi, Marinella; Vaccarelli, Anna
Link alla scheda completa: