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