A Comparison of Additivity Axioms in Timed Transition Systems (1993)

by Alan Jeffrey , Steve Schneider , Frits Vaandrager
Citations:9 - 2 self