Deductive Verification of Real-Time Systems Using STeP
by Bjorner, N.S. and Manna, Z. and Sipma, H. and Uribe, T.
Theoretical Computer Science, vol. 253, pp. 27-60, 2001.
Note: Preliminary version appeared in Proc. of 4th Intl. AMAST Workshop on Real-Time Systems, ARTS’97, vol. 1231 of LNCS, pp. 22-43, Springer-Verlag, May 1997.
 BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
