Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Goran Frehse
Monitoring Dynamical Signals While Testing Timed Aspects of a System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics