Niemann B, Haubelt C, Uribe M, Teich J (2007)
Publication Type: Book chapter / Article in edited volumes
Publication year: 2007
Publisher: Springer
Edited Volumes: Advances in Design and Specification Languages for Embedded Systems
Pages Range: 225-242
APA:
Niemann, B., Haubelt, C., Uribe, M., & Teich, J. (2007). Formalizing TLM with Communicating State Machines. In Sorin A. Huss (Eds.), Advances in Design and Specification Languages for Embedded Systems. (pp. 225-242). Springer.
MLA:
Niemann, Bernardt, et al. "Formalizing TLM with Communicating State Machines." Advances in Design and Specification Languages for Embedded Systems. Ed. Sorin A. Huss, Springer, 2007. 225-242.
BibTeX: Download