Efficient Timed Reachability Analysis using Clock Difference Diagrams (1998)

Cached

Download Links

by Gerd Behrmann , Kim G. Larsen , Justin Pearson , Carsten Weise , Wang Yi
Venue:IN PROCEEDINGS OF THE 12TH INT. CONF. ON COMPUTER AIDED VERI
Citations:55 - 8 self