A provably correct compiler for efficient model checking of mobile processes (2005)

Cached

Download Links

by Ping Yang , C. R. Ramakrishnan , Scott A. Smolka
Venue:In Proceedings of PADL
Citations:2 - 2 self