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.

• David Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
  Java Bytecode Verification by Model Checking.
  Computer Aided Verification, 11th International Conference. LNCS, Vol. 1633, Springer-Verlag, pp. 491-494, 1999
  BibTeX, Paper (.pdf)