Scheduling System Verification.

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

Browse the full TACAS paper archive.