ETH Zurich :
Computer Science :
Pervasive Computing :
Distributed Systems :
BibTeX Entry '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