Checking Verifications of Protocols and Distributed Systems By Computer (1998)

Cached

Download Links

by Jan Friso Groote , Francois Monin , Jaco van de Pol
Citations:2 - 1 self