Integration of interval logic specifications into the model Checker SPIN

  1. María del Mar Gallardo
  2. Miguel J. Hornos
  3. Jesús Martínez
  4. Pedro Merino
Liburua:
Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004

Argitaletxea: Dykinson ; Servicio de Publicaciones ; Universidad Rey Juan Carlos

ISBN: 84-9772-320-1

Argitalpen urtea: 2004

Orrialdeak: 317-322

Mota: Liburuko kapitulua

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet