Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio))

Type
Label
  • Automatic Proofs of Protocols via Program Transformation (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (2005)
    Automatic Proofs of Protocols via Program Transformation
    in , 2005
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fioravanti, F.; Pettorossi, A.; Proietti, M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • a cura di Dunin-Keplicz, B. and Jankowski, A. and Skowron, A. and Szczuka, M. pp. 99-116 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Pettorossi, A.: DISP, Università Tor Vergata, Roma (literal)
Titolo
  • Automatic Proofs of Protocols via Program Transformation (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana
  • Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 3-540-23245-1 (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it