%0 Journal Article %1 journals/comcom/LiuM96 %A Liu, Hong %A Miller, Raymond E. %D 1996 %J Computer Communications %K dblp %N 14 %P 1175-1187 %T An approach to cyclic protocol validation. %U http://dblp.uni-trier.de/db/journals/comcom/comcom19.html#LiuM96 %V 19

@article{journals/comcom/LiuM96, added-at = {2006-05-23T00:00:00.000+0200}, author = {Liu, Hong and Miller, Raymond E.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a11c3e3d1692db00f425ccbddb6f6997/dblp}, ee = {http://dx.doi.org/10.1016/S0140-3664(96)01152-8}, interhash = {3f3207b4fb9d4e0942469a569426c98d}, intrahash = {a11c3e3d1692db00f425ccbddb6f6997}, journal = {Computer Communications}, keywords = {dblp}, number = 14, pages = {1175-1187}, timestamp = {2016-02-02T03:59:31.000+0100}, title = {An approach to cyclic protocol validation.}, url = {http://dblp.uni-trier.de/db/journals/comcom/comcom19.html#LiuM96}, volume = 19, year = 1996 }