Incremental CTL Model Checker for Fair States

• Autores: V. R. L. Shen
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 82, Nº 7, 1999, págs. 1126-1130
• Idioma: inglés
• Texto completo no disponible (Saber más ...)