Thomas A. Henzinger, Christoph M. Kirsch. A typed assembly language for real-time programs. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 104-113, ACM, 2004. [doi]
@inproceedings{HenzingerK04, title = {A typed assembly language for real-time programs}, author = {Thomas A. Henzinger and Christoph M. Kirsch}, year = {2004}, doi = {10.1145/1017753.1017774}, url = {http://doi.acm.org/10.1145/1017753.1017774}, tags = {programming languages}, researchr = {https://researchr.org/publication/HenzingerK04}, cites = {0}, citedby = {0}, pages = {104-113}, booktitle = {EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings}, editor = {Giorgio C. Buttazzo}, publisher = {ACM}, isbn = {1-58113-860-1}, }