Model Checking and Deduction for Verifying Infinite-State Systems
by Sipma, H. and Uribe, T. and Manna, Z.
in Logic, Language and Computation,
Published by CSLI
Address: Stanford, CA
1997.
 BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
