A Verifier for Distributed Real-Time Systems with Bounded Integer Variables

王凡Mok, A. K.A. K.MokWang, FarnFarnWang2009-02-032018-06-292009-02-032018-06-291993-06http://ntur.lib.ntu.edu.tw//handle/246246/118756en-USA Verifier for Distributed Real-Time Systems with Bounded Integer Variables