Verification of Concurrent Client-Server Real-Time Scheduling Systems.

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo

Browse the full RTCSA paper archive.