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.)
Publisher: Servei de Comunicació i Publicacions ; Universitat Jaume I
ISBN: 84-8021-434-1, 978-84-8021-434-6
Year of publication: 2003
Pages: 221-236
Congress: Jornadas de Concurrencia (11. 2003. null)
Type: Conference paper