© University of Kent - Contact | Feedback | Legal | FOI | Cookies
From ABZ to cryptography (abstract)
Eerke A. Boiten
In E. Brger, 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. Brger and M. Butler and J.P. Bowen and P. Boca}, }