Model checking of unrestricted hierarchical state machines (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Model checking of unrestricted hierarchical state machines (Contributo in atti di convegno) (literal)

Anno

• 2001-01-01T00:00:00+01:00 (literal)

Alternative label

• Benedikt M.; Godefroid P.; Reps T. (2001)
  Model checking of unrestricted hierarchical state machines
  
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Benedikt M.; Godefroid P.; Reps T. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: 28th International Colloquium on Automata, Languages and Programming - ICALP 2001 (Creta, Greece, 8-21 July 2001). Proceedings, pp. 652-666. (literal)

Titolo

• Model checking of unrestricted hierarchical state machines (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)