Simulation techniques for proving properties of real-time systems (1994)

by N Lynch
Venue:In Rex Workshop '93, Lecture Notes in Computer Science, Mook, the Netherlands