Björn Bartels, Sabine Glesner. Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 195-202, IEEE, 2011. [doi]
@inproceedings{BartelsG11, title = {Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP}, author = {Björn Bartels and Sabine Glesner}, year = {2011}, doi = {10.1109/APSEC.2011.52}, url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2011.52}, researchr = {https://researchr.org/publication/BartelsG11}, cites = {0}, citedby = {0}, pages = {195-202}, booktitle = {2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011}, editor = {Tran Dan Thu and Karl R. P. H. Leung}, publisher = {IEEE}, isbn = {978-1-4577-2199-1}, }