Principles of Model Checking

Saved in:
Bibliographic Details
Main Authors: Chistel Baier, Joost-Pieter Katoen
Format: Text
Language:English
Published: Massachusetts Institute of Technology 2008
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
PINJAM