Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno)

Type
Label
  • Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (Contributo in atti di convegno) (literal)
Anno
  • 2001-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (2001)
    Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs
    in ACM-Sigplan International Workshop on Verification and Computational Logic, Firenze, Italy
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (literal)
Titolo
  • Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it