%0 Journal Article %1 journals/sigact/GurariL84a %A Gurari, Eitan M. %A Lai, Ten-Hwang %D 1984 %J SIGACT News %K dblp %N 4 %P 63-64 %T Deadlock detection in communicating finite state machines. %U http://dblp.uni-trier.de/db/journals/sigact/sigact15.html#GurariL84a %V 15

@article{journals/sigact/GurariL84a, added-at = {2021-07-30T00:00:00.000+0200}, author = {Gurari, Eitan M. and Lai, Ten-Hwang}, biburl = {https://www.bibsonomy.org/bibtex/2213a62cfb7837847c9c2cedd783a3784/dblp}, ee = {https://doi.org/10.1145/1008939.1008947}, interhash = {87a7a5f5e81d8f923549d8e88d994e55}, intrahash = {213a62cfb7837847c9c2cedd783a3784}, journal = {SIGACT News}, keywords = {dblp}, number = 4, pages = {63-64}, timestamp = {2024-04-09T03:13:26.000+0200}, title = {Deadlock detection in communicating finite state machines.}, url = {http://dblp.uni-trier.de/db/journals/sigact/sigact15.html#GurariL84a}, volume = 15, year = 1984 }