TACAS (Conference) Passau, Germany), Margaria-Steffen, T., & Steffen, B. (1996). Tools and algorithms for the construction and analysis of systems: Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings. Springer.
Chicago Style (17th ed.) CitationTACAS (Conference) Passau, Germany), Tiziana Margaria-Steffen, and Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 1996 : Proceedings. New York: Springer, 1996.
MLA (9th ed.) CitationTACAS (Conference) Passau, Germany), et al. Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 1996 : Proceedings. Springer, 1996.
Warning: These citations may not always be 100% accurate.