Sign in

Modelling and Verification of Distributed Algorithms.

Wolfgang Reisig
Published in: CONCUR (1996)
Keyphrases