|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoC-Damiani+Dezani+Giannini:SAC-2004 (In proceedings) | |
| Author(s) | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini and Paola Giannini |
| Title | « Re-classification and Multithreading: Fickle » |
| In | OOPS track at SAC'04 |
| Volume | 2 |
| Page(s) | 1297--1304 |
| Year | 2004 |
| Publisher | ACM |
| URL | http://www.di.unito.it/~damiani/papers/fickleMT.html |
| BibTeX code |
@inproceedings{tipoC-Damiani+Dezani+Giannini:SAC-2004,
volume = {2},
author = {Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola
Giannini},
booktitle = {OOPS track at SAC'04},
url = {http://www.di.unito.it/~damiani/papers/fickleMT.html},
title = {Re-classification and Multithreading: Fickle$_{MT}$},
tag = {OOPS track at SAC'04, volume 2, pages 1297-1304, ACM},
publisher = {ACM},
year = {2004},
pages = {1297--1304},
}
|
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)