Verifying Abstractions of Timed Systems (1996)

Cached

Download Links

by Serdar Tasiran , Rajeev Alur , Robert P. Kurshan , Robert K. Brayton
Venue:in Proc. CONCUR'96
Citations:40 - 4 self