dblp.uni-trier.de www.uni-trier.de

Journal of Logic and Algebraic Programming, Volume 64

Volume 64, Number 1, July 2005

Practical development of exact real number computation

Volume 64, Number 2, August 2005

Modelling and Verification of Cryptographic Protocols

Copyright © Mon Nov 2 21:45:49 2009 by Michael Ley (ley@uni-trier.de)