A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems (1997)

by Thomas Kropf , Jürgen Ruf , Klaus Schneider , Markus Wild
Citations:6 - 3 self