Publikation bearbeiten
Techniques for verified reachability analysis of quasi-linear continuous-time systems
(
Teil einer Monographie/eines Konferenzbandes
)