Platzer, Andre
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics - New York Springer 2010 - 426
9783642145087
681.3 PLA
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics - New York Springer 2010 - 426
9783642145087
681.3 PLA