Tomi Westerlund, Juha Plosila. Formal Specification of a Protocol Processor. In Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005, Proceedings. Volume 3553 of Lecture Notes in Computer Science, pages 122-131, Springer, 2005. [doi]
@inproceedings{WesterlundP05,
title = {Formal Specification of a Protocol Processor},
author = {Tomi Westerlund and Juha Plosila},
year = {2005},
doi = {10.1007/11512622_14},
url = {http://dx.doi.org/10.1007/11512622_14},
tags = {protocol},
researchr = {https://researchr.org/publication/WesterlundP05},
cites = {0},
citedby = {0},
pages = {122-131},
booktitle = {Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005, Proceedings},
editor = {Timo D. Hämäläinen and Andy D. Pimentel and Jarmo Takala and Stamatis Vassiliadis},
volume = {3553},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26969-X},
}