Grumberg, O., & Huth, M. (2007). Tools and algorithms for the construction and analysis of systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal. Springer-Verlag Berlin Heidelberg.
Cita Chicago Style (17a ed.)Grumberg, Orna, y Michael Huth. Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007.
Cita MLA (8a ed.)Grumberg, Orna, y Michael Huth. Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal. Springer-Verlag Berlin Heidelberg, 2007.