New Directions in Symbolic Model Checking
Series: Uppsala Dissertations from the Faculty of Science & Technology, 50
Publisher: Uppsala Universitet
Published: December 2003
Language: eng
Format: Paperback
Number of pages: 130
ISBN-13: 9789155457815
Subjects: Computer Science; Computers; Computer Books: General