Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL

王凡Mok, A. K.A. K.MokEmerson, E. A.E. A.EmersonWang, FarnFarnWang2009-02-032018-06-292009-02-032018-06-291992-05http://ntur.lib.ntu.edu.tw//handle/246246/118761Melbourne, Australiaen-USFormal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL