Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Scientific Annals of Computer Science 22(2), pp. 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:
    

Pubblicazione

— autori/autrici

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Scientific Annals of Computer Science

— volume/numero

22 (2)

— data di pubblicazione

2012

— pagine

267326

URL & ID

— 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