|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoA-Damiani:SAoCS-2012 (Article) | |
| Author(s) | F. Damiani, P. Giannini, A. Ricci and M. Viroli |
| Title | « Standard type soundness for agents and artifacts » |
| Journal | Scientific Annals of Computer Science |
| Volume | 22 |
| Number | 2 |
| Page(s) | 267-326 |
| Year | 2012 |
| URL | http://www.scopus.com/inward/record.url?eid=2-s2.0-84870320100&partnerID=40&md5=c6c4d2faee09126537cebd67afa61792 |
| Note | cited By (since 1996) 0 |
| BibTeX code |
@article{tipoA-Damiani:SAoCS-2012,
source = {Scopus},
number = {2},
volume = {22},
document = ,
author = {Damiani, F. and Giannini, P. and Ricci, A. and Viroli, M.},
note = {cited By (since 1996) 0},
url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84870320100&partnerID=40&md5=c6c4d2faee09126537cebd67afa61792},
type = {Article},
title = {Standard type soundness for agents and artifacts},
journal = {Scientific Annals of Computer Science},
year = {2012},
pages = {267-326},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)