G. Von Bochmann

• Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992
• Concepts for Distributed Systems Design