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

BibTeX Entry 'cardtap98'

@inproceedings{cardtap98,
    author = "Andrew Slater and Rajeev Gore and Joachim Posegga and Harald Vogt",
    editor = "Claude Kirchner and Helene Kirchner",
    title = "cardTAP: The First Theorem Prover on a Smart Card",
    year = "1998",
    booktitle = "15th Conference on Automated Deduction",
    volume = "1421",
    series = "LNAI",
    pages = "47--50",
    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.

• Andrew Slater, Rajeev Gore, Joachim Posegga, Harald Vogt
  cardTAP: The First Theorem Prover on a Smart Card.
  In: Claude Kirchner, Helene Kirchner (Eds.): 15th Conference on Automated Deduction. LNAI, Vol. 1421, Springer-Verlag, pp. 47-50, 1998
  BibTeX