APA (7th ed.) Citation

(1998). Tools for system development and verification: Workshop, proceedings, Bremen, Germany, July 1996 (Als Ms. gedr.). Shaker.

Chicago Style (17th ed.) Citation

Tools for System Development and Verification: Workshop, Proceedings, Bremen, Germany, July 1996. Als Ms. gedr. Aachen: Shaker, 1998.

MLA (9th ed.) Citation

Tools for System Development and Verification: Workshop, Proceedings, Bremen, Germany, July 1996. Als Ms. gedr. Shaker, 1998.

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