Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata

• Autores: Tadaaki Tanimoto
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 88, Nº 11, 2005, págs. 3007-3021
• Idioma: inglés
• Texto completo no disponible (Saber más ...)