Model checking

Author
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Publisher
MIT Press
Language
English
Year
1999
Page
166
ISBN
9780262032704,0-262-03270-8
File Type
djvu
File Size
3.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book