Finite approximations for model checking non-finite-state processes (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Finite approximations for model checking non-finite-state processes (Articolo in rivista) (literal)

Anno

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

Alternative label

• De Francesco N.; Fantechi A.; Gnesi S.; Inverardi P. (2001)
  Finite approximations for model checking non-finite-state processes
  in Computer journal (Print)
  (literal)

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

• De Francesco N.; Fantechi A.; Gnesi S.; Inverardi P. (literal)

Rivista

• Computer journal (Rivista)

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

• In: The Computer Journal, Vol. 44 n. 2 (2001), 109-123. British Computer Society, 2001. (literal)

Note

• ISI Web of Science (WOS) (literal)

Titolo

• Finite approximations for model checking non-finite-state processes (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)

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

• Computer journal (Rivista)