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 ChicagoPérez, Gervasio, Esteban Pavese, and Fernando Schapachnik. Branching Data Structures for Real-time Model Checking Not As Good As Thought. 2012.
Cita MLAPé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.