1. Conditional probabilities over probabilistic and nondeterministic systems;Andrés,2008
2. Principles of Model Checking;Baier,2008
3. Algorithms in Real Algebraic Geometry;Basu,2006
4. Quantum cryptography: public key distribution and coin tossing;Bennett,1984