%0 Journal Article %1 journals/tse/AvruninCDW94 %A Avrunin, George S. %A Corbett, James C. %A Dillon, Laura K. %A Wileden, Jack C. %D 1994 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 708-719 %T Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse20.html#AvruninCDW94 %V 20

@article{journals/tse/AvruninCDW94, added-at = {2015-12-10T00:00:00.000+0100}, author = {Avrunin, George S. and Corbett, James C. and Dillon, Laura K. and Wileden, Jack C.}, biburl = {https://www.bibsonomy.org/bibtex/2adbe01311accc29971cff270f82bc547/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.317429}, interhash = {fff1d6d3d0791aee36587d4a81e58949}, intrahash = {adbe01311accc29971cff270f82bc547}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {708-719}, timestamp = {2015-12-12T11:51:05.000+0100}, title = {Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse20.html#AvruninCDW94}, volume = 20, year = 1994 }