Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal. Strengthening Property Preservation in Concurrent Real-Time Systems. In 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia. pages 106-109, IEEE Computer Society, 2006. [doi]
@inproceedings{FlorescuHVC06,
title = {Strengthening Property Preservation in Concurrent Real-Time Systems},
author = {Oana Florescu and Jinfeng Huang and Jeroen Voeten and Henk Corporaal},
year = {2006},
doi = {10.1109/RTCSA.2006.58},
url = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2006.58},
researchr = {https://researchr.org/publication/FlorescuHVC06},
cites = {0},
citedby = {0},
pages = {106-109},
booktitle = {12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia},
publisher = {IEEE Computer Society},
isbn = {0-7695-2676-4},
}