Getting a BibTeX entry of BDI Library


Last updated: May 27, 2010


@techreport{FB93,
    author={J.~De~la~Fuente and J.M.~Blanco},
    institution={Facultad de Informatica UPV/EHU, UPV/EHU/LSI/TR-393},
    title={VEToDoS. Un Verificador de E.T.D.S.},
    year={1993},
    idbdi={yes}
}


emena@unizar.es
April 6, 2002