|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
Restivo+Ronchi+Roversi:2001-ICTCS (Book) | |
Editor(s) | Antonio Restivo, Simona Ronchi Della Rocca and Luca Roversi |
Title | « Theoretical Computer Science - 7th Italian Conference (ICTCS 2001) » |
Publisher | Springer Verlag |
Series | Lecture Notes in Computer Science |
Volume | 2202 |
Year | 2001 |
URL | http://springerlink.metapress.com/app/home/issue.asp?wasp=6cc6lvygvn6wqtr3ww7m&referrer=parent&backto=journal,791,1528;linkingpublicationresults,id:105633,1 |
BibTeX code |
@book{Restivo+Ronchi+Roversi:2001-ICTCS,
volume = {2202},
month = {October},
series = {Lecture Notes in Computer Science},
editor = {Restivo, Antonio and Ronchi Della Rocca, Simona and Roversi, Luca},
url = {http://springerlink.metapress.com/app/home/issue.asp?wasp=6cc6lvygvn6wqtr3ww7m&referrer=parent&backto=journal,791,1528;linkingpublicationresults,id:105633,1},
title = {Theoretical Computer Science - 7th Italian Conference (ICTCS 2001)},
publisher = {Springer Verlag},
copyrightspringer = {http://www.springer.de/comp/lncs/index.html},
year = {2001},
}
|
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)