Abstraction-Based Deductive-Algorithmic Verification of Reactive Systems
by Uribe, T. E.
PhD Thesis.
School: Computer Science Department, Stanford University
Address: Stanford, CA
Dec 1998.
 BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
