Brinksma, E. (1995). Tools and algorithms for the construction and analysis of systems: First international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Brinksma, Ed. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers. Berlin: Springer, 1995.
MLA-Zitierstil (9. Ausg.)Brinksma, Ed. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers. Springer, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.