© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Smart cards aren''t always the smart choice
D. W. Chadwick
IEEE Computer, 32(12):182-196, December 1999. Download publication 130 kbytes (PDF)Bibtex Record
@article{2116,
author = {Chadwick, D. W.},
title = {Smart Cards Aren''t Always the Smart Choice},
month = {December},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/2116},
publication_type = {article},
journal = {IEEE Computer},
volume = {32},
number = {12},
}