TACAS. (1995). Tools and algorithms for the construction and analysis of systems: ... International Workshop, TACAS .. Springer.
Chicago Style (17th ed.) CitationTACAS. Tools and Algorithms for the Construction and Analysis of Systems: ... International Workshop, TACAS .. Berlin ; New York: Springer, 1995.
ציטוט MLATACAS. Tools and Algorithms for the Construction and Analysis of Systems: ... International Workshop, TACAS .. Springer, 1995.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.