![](/img/cover-not-exists.png)
An Operational Semantics and Compiler for Real-Time Specifications1
Puchol, Carlos, Stuart, Douglas A., Mok, Aloysius K.Volume:
5
Journal:
Integrated Computer-Aided Engineering
DOI:
10.3233/ica-1998-5301
Date:
July, 1998
File:
PDF, 314 KB
1998