Cita APA

Luna, C. D. (2004). Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real. Web

Citación estilo Chicago

Luna, Carlos Daniel. Combinando “model Checking” Y “proof Checking” En El Análisis De Sistemas De Tiempo Real. 2004.

Cita MLA

Luna, Carlos Daniel. Combinando “model Checking” Y “proof Checking” En El Análisis De Sistemas De Tiempo Real. 2004.

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