Deductive verification of real-time systems using STeP (1998)

Cached

Download Links

by Nikolaj S. Bjørner , Zohar Manna , Henny B. Sipma , Tomas E. Uribe
Venue:COMPUTER SCIENCE DEPARTMENT, STANFORD UNIVERSITY
Citations:30 - 8 self