Susanne Graf, M. S. Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Susanne Graf, Michael Schwartzbach. Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Berlín, Alemania: Springer.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
Susanne Graf, Michael Schwartzbach. Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.