Cita APA

Braberman, V., & Olivero, A. (2002). Extending timed automata for compositional modeling healthy timed systems. Web

Citación estilo Chicago

Braberman, V., and A. Olivero. Extending Timed Automata for Compositional Modeling Healthy Timed Systems. 2002.

Cita MLA

Braberman, V., and A. Olivero. Extending Timed Automata for Compositional Modeling Healthy Timed Systems. 2002.

Precaución: Estas citas no son 100% exactas.