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

BibTeX Entry 'cardtap2'

@inproceedings{cardtap2,
    author = "Andrew Slater and Rajeev Gore and Joachim Posegga and Harald Vogt",
    title = "cardTAP: Automated Deduction on a Smart Card",
    year = "1998",
    booktitle = "11th Australian Joint Conference on Artificial Intelligence",
    volume = "1502",
    series = "LNCS",
    pages = "239--247",
    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: Automated Deduction on a Smart Card.
    11th Australian Joint Conference on Artificial Intelligence. LNCS, Vol. 1502, Springer-Verlag, pp. 239-247, 1998
    BibTeX

ETH ZurichDistributed Systems Group
Last updated May 10 2012 04:36:42 PM MET webvs