Results 1 -
0 of
0
No citations were found for this document.
Model checking and abstraction, (1994)
by E M Clarke, O Grumberg, D E Long
| Venue: | ACM Trans. Program. Lang. Syst. |
