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

  1. Capel Tuñón, Manuel
  2. Hornos Barranco, Miguel J.
Libro:
Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia
  1. Pérez Francisco, Miguel (coord.)
  2. Boronat Pérez, Pablo (coord.)

Editorial: Servei de Comunicació i Publicacions ; Universitat Jaume I

ISBN: 84-8021-434-1,  978-84-8021-434-6

Año de publicación: 2003

Páginas: 221-236

Congreso: Jornadas de Concurrencia (11. 2003. null)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet