Automatic verification of the timing properties of MMT automata

,1998, 引用: 99

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium,1993, 引用: 16

,2005, 引用: 18

Information & Computation,1996, 引用: 180