APA (7th ed.) Citation

Schumann, J. (1994). Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS: A case study.

Chicago Style (17th ed.) Citation

Schumann, Johann. Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. München, 1994.

MLA (9th ed.) Citation

Schumann, Johann. Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. 1994.

Warning: These citations may not always be 100% accurate.