|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
virtualinux-web (Technical manual) | |
Author(s) | Marco Aldinucci, Massimo Torquati and Pierfrancesco Zuccato |
Title | « Virtualinux website » |
Year | 2007 |
Note | http://virtualinux.sourceforge.net/ |
BibTeX code |
@manual{virtualinux-web,
title = {Virtualinux website},
author = {Marco Aldinucci and Massimo Torquati and Pierfrancesco Zuccato},
year = {2007},
note = {{http://virtualinux.sourceforge.net/}},
}
|
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)