Using partial orders to improve automatic verification methods
- 6 June 1991
- book chapter
- Published by American Mathematical Society (AMS)
- Vol. 3, 321-340
- https://doi.org/10.1090/dimacs/003/21
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: