Reflecting BDDs in Coq (2000)

by Kumar Neeraj Verma , Jean Goubault-Larrecq , Sanjiva Prasad , S. Arun-Kumar
Venue:IN ASIAN'2000
Citations:12 - 2 self