APA (7th ed.) Citation

Margaria, T., & Steffen, B. (1996). Tools and algorithms for the construction and analysis of systems: Proceedings, Passau, Germany, March 27 - 29, 1996 ([1st ed.].). Springer.

Chicago Style (17th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Passau, Germany, March 27 - 29, 1996. [1st ed.]. Berlin: Springer, 1996.

MLA (9th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Passau, Germany, March 27 - 29, 1996. [1st ed.]. Springer, 1996.