Symbolic Model Checking of Deadlock Free Property of Task Control Architecture

• Autores: H. Hiraishi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 85, Nº 10, 2002, págs. 1579-1586
• Idioma: inglés
• Texto completo no disponible (Saber más ...)