Utilizing symmetry when model-checking under fairness assumptions: An automata-theoretic approach

• Autores: E. Allen Emerson, A. Prasad Sistla
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 19, Nº 4, 1997, págs. 617-638
• Idioma: inglés
• Texto completo no disponible (Saber más ...)