Showing 1 - 1 results of 1 Refine Results  

Logical analysis of hybrid systems proving theorems for complex dynamics

by Platzer, André
Year of Publication 2010


Other options of fulltext:
Full text
eBook