FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

• Autores: Manuel Capel Tuñón , Miguel J. Hornos Barranco
• Localización: Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 221-236
• Idioma: español
• Texto completo no disponible (Saber más ...)