TY  - GEN
AU  - Luna,Carlos Daniel
TI  - Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real
ER  -