publication venue for
- 3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability 2018
- A New Verification Method For Embedded Systems 2009
- Methods for modeling resource contention on simultaneous multithreading processors 2005
- Fine-grain abstraction and sequential don't cares for large scale model checking 2004
- Verification of timed circuits with failure directed abstractions 2003
- A STRUCTURAL APPROACH TO STATE SPACE DECOMPOSITION FOR APPROXIMATE REACHABILITY ANALYSIS 1994