Back to Search
Start Over
Efficient verification using generalized partial order analysis.
- Source :
- Proceedings of the Conference: Design, Automation & Test in Europe; 2/23/1998, p782-789, 8p
- Publication Year :
- 1998
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- Proceedings of the Conference: Design, Automation & Test in Europe
- Publication Type :
- Conference
- Accession number :
- 101025112