Martin Westhead;Simin Nadjm-Tehrani
-;-
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V