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

Éditorial: Servei de Comunicació i Publicacions ; Universitat Jaume I

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

Année de publication: 2003

Pages: 221-236

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet