Mertke, T. (2004). Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache. Shaker.
Chicago Style (17th ed.) CitationMertke, Thomas. Formale Spezifikation Reaktiver Systeme Mit Einer Sicherheitsfachsprache. Aachen: Shaker, 2004.
MLA (9th ed.) CitationMertke, Thomas. Formale Spezifikation Reaktiver Systeme Mit Einer Sicherheitsfachsprache. Shaker, 2004.
Warning: These citations may not always be 100% accurate.