FBT (FIL to Büchi automaton translator)herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos
- Pérez Francisco, Miguel (coord.)
- Boronat Pérez, Pablo (coord.)
Argitaletxea: Servei de Comunicació i Publicacions ; Universitat Jaume I
ISBN: 84-8021-434-1, 978-84-8021-434-6
Argitalpen urtea: 2003
Orrialdeak: 221-236
Biltzarra: Jornadas de Concurrencia (11. 2003. null)
Mota: Biltzar ekarpena