Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Scientific Annals of Computer Science 22(2), pages 267326, 2012, ``A.I. Cuza'' University Press, Iacsi, Romania
@article{DGRV-SACS2012,
  title={Standard Type Soundness for Agents and Artifacts},
  author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
  journal={Scientific Annals of Computer Science},
  volume={22},
  number={2},
  organization={``A.I. Cuza'' University, Iacsi, Romania},
  year={2012},
  pages={267--326},
  doi={10.7561/SACS.2012.2.267},
  publisher={``A.I. Cuza'' University Press, Iacsi}
}

Tags:
    

Publication

Standard Type Soundness for Agents and Artifacts

— status

published  

— authors

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

URLs & IDs

— DOI

10.7561/SACS.2012.2.267

BibTeX

— BibTeX ID
DGRV-SACS2012
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY