Formalizing TLM with Communicating State Machines
Niemann B, Haubelt C (2006)
Publication Type: Conference contribution
Publication year: 2006
Pages Range: 285-292
Conference Proceedings Title: Proceedings Forum on Specification and Design Languages (FDL'06)
Event location: Darmstadt
Authors with CRIS profile
Additional Organisation(s)
Involved external institutions
How to cite
APA:
Niemann, B., & Haubelt, C. (2006). Formalizing TLM with Communicating State Machines. In Proceedings Forum on Specification and Design Languages (FDL'06) (pp. 285-292). Darmstadt, DE.
MLA:
Niemann, Bernardt, and Christian Haubelt. "Formalizing TLM with Communicating State Machines." Proceedings of the Forum on Specification and Design Languages (FDL'06), Darmstadt 2006. 285-292.
BibTeX: Download