Krishnendu Chatterjee, T. A. H. Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
Krishnendu Chatterjee, Thomas A. Henzinger. Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings. Berlín, Alemania: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Krishnendu Chatterjee, Thomas A. Henzinger. Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
警告：這些引文格式不一定是100％准確.