A primer on model checking

ACM Inroads 2010 / 03 Vol. 1; Iss. 1

A primer on model checking

Ben-Ari, Mordechai (Moti)
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
1
Language:
english
Journal:
ACM Inroads
DOI:
10.1145/1721933.1721950
Date:
March, 2010
File:
PDF, 430 KB
english, 2010
Conversion to is in progress
Conversion to is failed