Logical analysis of hybrid systems proving theorems for complex dynamics

Saved in:

Bibliographic Details
Main Author	Platzer, André (Author)
Format	eBook
Language	English
Published	Berlin ; Heidelberg : Springer, 2010
Subjects	hybridní systémy hybrid systems elektronické knihy electronic books
Online Access	Full text
ISBN	9783642145094
DOI	10.1007/978-3-642-14509-4
Physical Description	xxx, 426 s. : il.

Online Access

Full text