Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems

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]

Abstract

Abstract is missing.