Logical Analysis of Hybrid Systems by André Platzer (.PDF) Posted on May 13, 2026 by book314 File Size: 2 MB Continue reading