Cita APA

Pérez, G., Pavese, E., & Schapachnik, F. (2012). Branching data structures for real-time model checking not as good as thought. Web

Citación estilo Chicago

Pérez, Gervasio, Esteban Pavese, and Fernando Schapachnik. Branching Data Structures for Real-time Model Checking Not As Good As Thought. 2012.

Cita MLA

Pérez, Gervasio, Esteban Pavese, and Fernando Schapachnik. Branching Data Structures for Real-time Model Checking Not As Good As Thought. 2012.

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