Functional Specification of Real-Time and Hybrid Systems (1997)

by Olaf Müller , Peter Scholz
Venue:In Proc. Hybrid and Real-Time Systems
Citations:9 - 1 self