|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoA-Dami-Deza-Gian:JOT-04 (Article) | |
| Author(s) | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini and Paola Giannini |
| Title | « On Re-classification and Multithreading » |
| Journal | Journal of Objectc Technology (www.jot.fm) |
| Volume | 3 |
| Number | 11 |
| Page(s) | 5-30 |
| Year | 2004 |
| URL | http://www.di.unito.it/~damiani/papers/jot1.html |
| Note | Special issue: OOPS track at SAC 2004, Nicosia/Cyprus |
| BibTeX code |
@article{tipoA-Dami-Deza-Gian:JOT-04,
number = {11},
volume = {3},
month = {December},
author = {Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola
Giannini},
note = {Special issue: OOPS track at SAC 2004, Nicosia/Cyprus},
url = {http://www.di.unito.it/~damiani/papers/jot1.html},
tag = {Journal of Objectc Technology (www.jot.fm), 3(11):5-30},
title = {On Re-classification and Multithreading},
journal = {Journal of Objectc Technology (www.jot.fm)},
pages = {5-30},
year = {2004},
}
|
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)