Original language | English |
---|---|
Title of host publication | Proceedings of the 10th Int. conference on Real-time and Embedded Computing Systems and Applications. |
Place of Publication | Gothenburg, Sweden |
Publisher | Springer |
Publication status | Published - 2004 |
Real-time property preservation in concurrent real-time systems
J. Huang, J.P.M. Voeten, M.C.W. Geilen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review