Verification of reactive systems : formal methods and algorithms /

Verification of reactive systems : formal methods and algorithms /

Saved in:
Bibliographic Details
Main Author: Schneider, Klaus, 1967- (Author)
Format: Book
Language:English
Published: Berlin Springer 2004
Subjects:
Computer systems > Verification.
Formal methods (Computer science)
Computer algorithms.
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items