Bernhard Niemann, Christian Haubelt. Formalizing TLM with Communicating State Machines. In Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. pages 285-293, ECSI, 2006. [doi]
@inproceedings{NiemannH06,
title = {Formalizing TLM with Communicating State Machines},
author = {Bernhard Niemann and Christian Haubelt},
year = {2006},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=401},
tags = {state machines},
researchr = {https://researchr.org/publication/NiemannH06},
cites = {0},
citedby = {0},
pages = {285-293},
booktitle = {Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings},
publisher = {ECSI},
isbn = {978-3-00-019710-9},
}