Small logo of ETH main building ETH Zurich : Computer Science : Pervasive Computing : Distributed Systems : Publications : BibTeX Entry

BibTeX Entry '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

ETH ZurichDistributed Systems Group
Last updated June 20 2023 01:44:45 PM MET webvs