Verification of Concurrent Client-Server Real-Time Scheduling Systems.
Journal
6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China
Pages
228-235
Date Issued
1999
Author(s)
Type
conference paper
