Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops

Curatela
Data di Pubblicazione:
1999
Abstract:
Theoretical and practical aspects of SPIN model checking
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
SPIN; Model-checking; Verification
Elenco autori:
Massink, Mieke
Autori di Ateneo:
MASSINK MIEKE
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/231781
  • Dati Generali

Dati Generali

URL

http://link.springer.com/book/10.1007/3-540-48234-2/page/1
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)