![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press EUROMICRO `91 Workshop on Real-Time Systems - Paris-Orsay, France (12-14 June 1991)] Proceedings. EUROMICRO `91 Workshop on Real-Time Systems - Real-time system validation by model checking in TRIO
Felder, M., Morzenti, A.C.Year:
1991
Language:
english
DOI:
10.1109/emwrt.1991.144074
File:
PDF, 734 KB
english, 1991