APA (7th ed.) Citation

SpringerLink (Online service), TACAS, International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, & Margaria, T. (1996). Tools and algorithms for the construction and analysis of systems: Second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), TACAS, International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, and Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; Proceedings. Berlin [u.a.]: Springer, 1996.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; Proceedings. Springer, 1996.