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