Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
by Colon, M. and Uribe, T.
in Intl. Conference on Computer-Aided Verification (CAV'98), no. 1427, pp. 293-304,
Published by Springer-Verlag BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
