Efficient forward model checking algorithm for w-regular properties

• Autores: Hiroaki Iwashita, Tsuneo Nakata
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 11, 1999, págs. 2448-2454
• Idioma: inglés
• Texto completo no disponible (Saber más ...)