George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden. Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. IEEE Trans. Software Eng., 20(9):708-719, 1994. [doi]
No references recorded for this publication.
No citations of this publication recorded.