ETH Zurich : Computer Science : Pervasive Computing : Distributed Systems : Publications : BibTeX Entry

BibTeX Entry 'vogt98esorics'

@inproceedings{vogt98esorics,
    author = "Joachim Posegga and Harald Vogt",
    title = "Bytecode Verification for Java Smart Cards Based on Model Checking",
    year = "1998",
    booktitle = "ESORICS",
    volume = "1485",
    series = "LNCS",
    pages = "175--190",
    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.

• Joachim Posegga, Harald Vogt
  Bytecode Verification for Java Smart Cards Based on Model Checking.
  ESORICS. LNCS, Vol. 1485, Springer-Verlag, pp. 175-190, 1998
  BibTeX