Clicky

Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > Computer Aided Verification: 3rd International Workshop, Cav 92

Computer Aided Verification: 3rd International Workshop, Cav 92

Kim G. Larsen

See on goodreads

Recent activity

Rate this book to see your activity here.

5 Books Similar to Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen

Bookscovery readers who liked Computer Aided Verification: 3rd International Workshop, Cav 92 also like A complete protocol verification using revitalized bisimulation, Automata, Languages and Programming and CONCUR 2001 - Concurrency Theory. How many of these have you read?

Comments and reviews of Computer Aided Verification: 3rd International Workshop, Cav 92

Please sign in to leave a comment