Inproceedings,

A Model for Real-Time Systems.

.
MFCS, volume 520 of Lecture Notes in Computer Science, page 298-307. Springer, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews