Formal verification of timed systems using cones and foci (1998)

View PDF

Download Links

by Wan Fokkink , Jun Pang
Venue:PROCEEDINGS OF THE 6TH WORKSHOP ON REAL-TIME SYSTEMS (ARTS’04
Citations:1 - 1 self