© University of Kent - Contact | Feedback | Legal | FOI | Cookies
From ABZ to cryptography (abstract)
Eerke A. Boiten
In E. B�rger, M. Butler, J.P. Bowen, and P. Boca, editors, ABZ 2008, volume 5238 of LNCS, pages 182-196. Springer, September 2008 [doi].Bibtex Record
@conference{2718,
author = {Eerke A. Boiten},
title = {From {ABZ} to cryptography (abstract)},
month = {September},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1007/978-3-540-87603-8_40},
url = {http://www.cs.kent.ac.uk/pubs/2008/2718},
publication_type = {conference},
submission_id = {12988_1208301218},
booktitle = {ABZ 2008},
series = {LNCS},
publisher = {Springer},
refereed = {yes},
volume = {5238},
editor = {E. B�rger and M. Butler and J.P. Bowen and P. Boca},
}