Author:
Claessen Koen,Roorda Jan-Willem
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;P. Bjesse,2001
2. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
4. FORTE, http://www.intel.com/software/products/opensource/tools1/verification
5. Harrison, J.: Marktoberdorf 2003 Page (2003), http://www.cl.cam.ac.uk/users/jrh/marktoberdorf