swMATH8898MaRDI QIDQ20895FDOQ20895
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-49519-3_32
Cited In (9)
- Correct Hardware Design and Verification Methods
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- Measuring and evaluating parallel state-space exploration algorithms
- Sycraft
- Murphi
- A work-efficient distributed algorithm for reachability analysis
- EPFL
- Speculative image computation for distributed symbolic reachability analysis
- Title not available (Why is that?)
This page was built for software: BDDNOW
