A Designer/Verifier's Assistant Manuscript received November 6, 1978; revised March 5, 1979. This research was supported in part by the Defense Advanced Research Projects Agency under Contract DAHC 15-72-C-0308 (at the University of Southern California Information Sciences Institute), by the National Science Foundation under Grant MCS74-12866 (at the University of Texas at Austin), and by the Rome Air Development Center under Contract F30602-78-C-0031 (at SRI International).
1986 ◽
pp. 335-349
1972 ◽
pp. 109-122
◽
2002 ◽
Vol 41
(16)
◽
pp. 3051
◽
2002 ◽
pp. 751-760