Lógica temporal en verificación de modelos de software : Origen y evolución hasta tiempos actuales
| Publicado en: | Fundamentos en humanidades. Vol. 11 (2010),151-162 11. San Luis : UNSL |
|---|---|
| Autor Principal: | |
| Formato: | Artículo |
| Temas: | |
| Descripción Física: | p.151-162 |
| ISSN: | ISSN 1515-4467 |