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