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

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