TY  - SER
AU  - Avrunin, George S.
AU  - Corbett, James C.
AU  - Wileden, Jack C.
TI  - Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
KW  - Concurrent Systems
KW  - Real-Time Systems
KW  - Automated Analysis
ER  -