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.
Buch:
Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia
  1. Pérez Francisco, Miguel (coord.)
  2. Boronat Pérez, Pablo (coord.)

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

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

Datum der Publikation: 2003

Seiten: 221-236

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet