Click on a thumbnail to go to Google Books.
Timed Modal Specifications - A Theory for Verification of Real-Time…
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English
No descriptions found.
No library descriptions found.
RatingAverage: No ratings.
Is this you?
Become a LibraryThing Author.