Verification of reactive systems formal methods and algorithms

Saved in:

Bibliographic Details
Main Author:	Schneider, Klaus 1967-
Format:	Book
Published:	Berlin New York Springer-Verlag 2004
Series:	Texts in theoretical computer science
Subjects:	Computer algorithms Formal methods (Computer science) Computer systems > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet