%0 Journal Article %1 journals/jacm/Kameda80 %A Kameda, Tiko %D 1980 %J J. ACM %K dblp %N 2 %P 270-280 %T Testing Deadlock-Freedom of Computer Systems. %U http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#Kameda80 %V 27

@article{journals/jacm/Kameda80, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kameda, Tiko}, biburl = {https://www.bibsonomy.org/bibtex/2abc2315f67ce0406cd66c5e2ebdea77f/dblp}, ee = {https://doi.org/10.1145/322186.322192}, interhash = {5c7047a9cef176989a3f2f1fbe8e1db3}, intrahash = {abc2315f67ce0406cd66c5e2ebdea77f}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {270-280}, timestamp = {2018-11-07T12:11:34.000+0100}, title = {Testing Deadlock-Freedom of Computer Systems.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#Kameda80}, volume = 27, year = 1980 }