Cover Image

Symbolic model checking

Author: McMillan, Kenneth L.
Media Type: Printed Book
Language: English
Published: Boston [u.a.], Kluwer Acad. Publ., 1993
ISBN: 0-7923-9380-5
Subjects:

Internet

Department Library of Electrical Engineering and Information Technology (Building 12)

Status Item Information Call Number Barcode Note Functions
viewable Reserve Collection EIT 860/096 106862546

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable INF 932/102 106682104
available 2 weeks lendable INF 932/102 106684546 2. Ex.