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.)
Editorial: Servei de Comunicació i Publicacions ; Universitat Jaume I
ISBN: 84-8021-434-1, 978-84-8021-434-6
Any de publicació: 2003
Pàgines: 221-236
Congrés: Jornadas de Concurrencia (11. 2003. null)
Tipus: Aportació congrés