Thomas A. Henzinger, Slobodan Matic. An Interface Algebra for Real-Time Components. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA. pages 253-266, IEEE Computer Society, 2006. [doi]
@inproceedings{HenzingerM06,
title = {An Interface Algebra for Real-Time Components},
author = {Thomas A. Henzinger and Slobodan Matic},
year = {2006},
doi = {10.1109/RTAS.2006.11},
url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.11},
tags = { algebra},
researchr = {https://researchr.org/publication/HenzingerM06},
cites = {0},
citedby = {0},
pages = {253-266},
booktitle = {12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2516-4},
}