Avrunin, George S. Corbett, James C. Wileden, Jack C. <br/><br/>
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems 

 - 708-719 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Concurrent Systems<br/>Real-Time Systems<br/>Automated Analysis