Polynomial Time Decidability of Monotone Liveness of Time Bounded AC/DC Nets

• Autores: Atsushi Ohta, Kohkichi Tsuji
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 84, Nº 11, 2001, págs. 2865-2870
• Idioma: inglés
• Texto completo no disponible (Saber más ...)