G. Manduchi;M. Moro
-;-
Automatic verification for a class of distributed systems
Distributed Computing