A dynamic state graph for a timed process algebra

• Autores: Fernando Cuartero Gómez , Valentín Valero Ruiz , J. José Pardo, M. Carmen Ruiz
• Localización: Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 35-54
• Idioma: inglés
• Texto completo no disponible (Saber más ...)