Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...’ Properties — Classification and Relation to Computer Science -- Assertion-Based Analysis of Hybrid Systems...”