Luna, C. D. (2004). Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real.
Cita Chicago Style (17a ed.)Luna, Carlos Daniel. Combinando “model Checking” Y “proof Checking” En El Análisis De Sistemas De Tiempo Real. 2004.
Cita MLA (8a ed.)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.