Joost-Pieter Katoen, P. S. Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings. Springer.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Joost-Pieter Katoen, Perdita Stevens. Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings. Berlín, Alemania: Springer.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
Joost-Pieter Katoen, Perdita Stevens. Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings. Springer.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.