%0 Journal Article %1 journals/monet/Peng97 %A Peng, Wuxu %D 1997 %J MONET %K dblp %N 3 %P 251-257 %T Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis. %U http://dblp.uni-trier.de/db/journals/monet/monet2.html#Peng97 %V 2

@article{journals/monet/Peng97, added-at = {2011-05-27T00:00:00.000+0200}, author = {Peng, Wuxu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20aaa3756309b957e2dd4c6c14c6d4b37/dblp}, ee = {http://dx.doi.org/10.1023/A:1013640918785}, interhash = {58d4226ef60a000cc8a6871b8f036c6d}, intrahash = {0aaa3756309b957e2dd4c6c14c6d4b37}, journal = {MONET}, keywords = {dblp}, number = 3, pages = {251-257}, timestamp = {2016-02-02T07:44:42.000+0100}, title = {Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.}, url = {http://dblp.uni-trier.de/db/journals/monet/monet2.html#Peng97}, volume = 2, year = 1997 }