CITATION STYLE
Niemann, B., Haubelt, C., Oyanguren, M. U., & Teich, J. (2007). Formalizing TLM with Communicating State Machines. In Advances in Design and Specification Languages for Embedded Systems (pp. 225–242). Springer Netherlands. https://doi.org/10.1007/978-1-4020-6149-3_14
Mendeley helps you to discover research relevant for your work.