%0 Journal Article %1 journals/ipl/RauchleT85 %A Räuchle, Thomas %A Toueg, Sam %D 1985 %J Inf. Process. Lett. %K dblp %N 2 %P 63-68 %T Exposure to Deadlock for Communicating Processes is Hard to Detect. %U http://dblp.uni-trier.de/db/journals/ipl/ipl21.html#RauchleT85 %V 21

@article{journals/ipl/RauchleT85, added-at = {2011-07-07T00:00:00.000+0200}, author = {Räuchle, Thomas and Toueg, Sam}, biburl = {https://www.bibsonomy.org/bibtex/2fbd03084c8ae86d19ec82d50c705a2a1/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(85)90033-X}, interhash = {9a0b75190a510a46c1f19a55ab2e581b}, intrahash = {fbd03084c8ae86d19ec82d50c705a2a1}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 2, pages = {63-68}, timestamp = {2011-07-08T11:34:43.000+0200}, title = {Exposure to Deadlock for Communicating Processes is Hard to Detect.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl21.html#RauchleT85}, volume = 21, year = 1985 }