Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo. Verification of Concurrent Client-Server Real-Time Scheduling Systems. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 228-235, IEEE Computer Society, 1999. [doi]
Abstract is missing.