APA ציטוט

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 Style (17th ed.) Citation

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

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.