The following pages link to Adnan Aziz (Q698099):
Displaying 4 items.
- Formula-dependent equivalence for compositional CTL model checking (Q698104) (← links)
- An abstraction algorithm for the verification of level-sensitive latch-based netlists (Q1425001) (← links)
- BDD based procedures for a theory of equality with uninterpreted functions (Q1870209) (← links)
- (Q2754070) (← links)
