Cita APA

Braberman, V. A. (2000). Modeling and Checking Real-Time System Designs. Web

Citación estilo Chicago

Braberman, Victor Adrian. Modeling and Checking Real-Time System Designs. 2000.

Cita MLA

Braberman, Victor Adrian. Modeling and Checking Real-Time System Designs. 2000.

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