DMCA

Partial order reductions for timed systems (1998)

Cached

Download Links

by Johan Bengtsson , Bengt Jonsson , Johan Lilius , Wang Yi
Venue:In International Conference on Concurrency Theory
Citations:63 - 4 self