%0 Journal Article %1 journals/tse/HealyW02 %A Healy, Christopher A. %A Whalley, David B. %D 2002 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 763-781 %T Automatic Detection and Exploitation of Branch Constraints for Timing Analysis. %U http://dblp.uni-trier.de/db/journals/tse/tse28.html#HealyW02 %V 28

@article{journals/tse/HealyW02, added-at = {2015-12-10T00:00:00.000+0100}, author = {Healy, Christopher A. and Whalley, David B.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2257f9c7cf880c8da5093691d22de2f52/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2002.1027799}, interhash = {6e4c77403c13ca522fa27890391889bc}, intrahash = {257f9c7cf880c8da5093691d22de2f52}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {763-781}, timestamp = {2016-02-02T09:33:36.000+0100}, title = {Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse28.html#HealyW02}, volume = 28, year = 2002 }