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. Persone

Model-checking TRIO specifications in SPIN

Contributo in Atti di convegno
Data di Pubblicazione:
2003
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Elenco autori:
Pradella, Matteo
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/67101
  • Utilizzo dei cookie

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