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]
@article{AvruninCDW94,
title = {Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems},
author = {George S. Avrunin and James C. Corbett and Laura K. Dillon and Jack C. Wileden},
year = {1994},
url = {http://www.computer.org/tse/ts1994/e0708abs.htm},
tags = {C++},
researchr = {https://researchr.org/publication/AvruninCDW94},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {20},
number = {9},
pages = {708-719},
}