Flavio Corradini
Univ. deli Studi diL'Aquila, L'Aquila, Italy
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems