STeP: Deductive-Algorithmic Verification of Reactive
and Real-time Systems
Appeared in International Conference
on Computer Aided Verification, pp.415-418.
vol. 1102 of Lecture Notes in Computer Science,
Springer-Verlag, July 1996.
This document was generated using the LaTeX2HTML translator Version 96.1 (Feb 5, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
The command line arguments were:
latex2html final-version.
The translation was initiated by root on Sat Jun 14 00:06:49 PDT 1997