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

Type
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
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

Incoming links:


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