Languages
Platzer, Andre.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Logical analysis of hybrid systems = proving theorems for complex dynamics /
by:
SpringerLink (Online service); Platzer, Andre.
(Electronic resources)