Symbolic model checking: an approach to the state explosion problem
Saved in:
Bibliographic Details
Main Author: McMillan, Kenneth L. (Author)
Format: Book
Language:Undetermined
Published: Pittsburgh, Pa. 1992
Subjects:
Item Description:Zugl.: Pittsburgh, Pa., Carnegie Mellon Univ., Diss., 1992
Physical Description:212 S. graph. Darst.
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number: 0102 DAT 540f 2001 B 759 Floor plan
Copy 1 Available for loan On Shelf