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

Cached

Download Links

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