王 凡Mok, A. K.A. K.MokEmerson, E. A.E. A.EmersonWang, FarnFarnWang2009-02-032018-06-292009-02-032018-06-291993-04http://ntur.lib.ntu.edu.tw//handle/246246/118766Odense, Denmarken-USSymbolic Model-Checking for Distributed Real-Time Systems