Real-time property preservation in concurrent real-time systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Cite this

@inproceedings{006b042d0a4a42e48115f545ed93e7bd,

title = "Real-time property preservation in concurrent real-time systems",

author = "J. Huang and J.P.M. Voeten and M.C.W. Geilen",

year = "2004",

language = "English",

booktitle = "Proceedings of the 10th Int. conference on Real-time and Embedded Computing Systems and Applications.",

publisher = "Springer",

}