Schumann, J. (1994). Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS: A case study.
Chicago-Zitierstil (17. Ausg.)Schumann, Johann. Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. München, 1994.
MLA-Zitierstil (9. Ausg.)Schumann, Johann. Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.