Partial order reductions for timed systems. (1998)

by J Bengtsson, B Jonsson, J Lilius, W Yi
Venue:In Proc. International Conf. on Concurrency Theory,