%0 Journal Article %1 journals/tse/KaramB91 %A Karam, Gerald M. %A Buhr, Raymond J. A. %D 1991 %J IEEE Trans. Software Eng. %K dblp %N 10 %P 1109-1125 %T Temporal Logic-Based Deadlock Analysis For Ada. %U http://dblp.uni-trier.de/db/journals/tse/tse17.html#KaramB91 %V 17

@article{journals/tse/KaramB91, added-at = {2015-12-10T00:00:00.000+0100}, author = {Karam, Gerald M. and Buhr, Raymond J. A.}, biburl = {https://www.bibsonomy.org/bibtex/22d8057bc266f4ff16577136dc94e6a0c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.99197}, interhash = {aa67b022f054bf732a7d26bd2e3c1929}, intrahash = {2d8057bc266f4ff16577136dc94e6a0c}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 10, pages = {1109-1125}, timestamp = {2015-12-12T11:49:05.000+0100}, title = {Temporal Logic-Based Deadlock Analysis For Ada.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse17.html#KaramB91}, volume = 17, year = 1991 }