ETH Zurich :
Computer Science :
Pervasive Computing :
Distributed Systems :
Publications :
BibTeX Entry
BibTeX Entry 'cav99'
@inproceedings{cav99,
author = "David Basin and Stefan Friedrich and Joachim Posegga and Harald Vogt",
title = "Java Bytecode Verification by Model Checking",
year = "1999",
booktitle = "Computer Aided Verification, 11th International Conference",
volume = "1633",
series = "LNCS",
pages = "491--494",
publisher = "Springer-Verlag"
}
The above is an automatically generated BibTeX-entry for the publication
below. Please let the author(s) know if you find any mistakes.
|