Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe. Deductive verification of real-time systems using STeP. Theoretical Computer Science, 253(1):27-60, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.