%0 Journal Article %1 journals/tcom/LeeSKP96 %A Lee, David %A Sabnani, Krishan K. %A Kristol, David M. %A Paul, Sanjoy %D 1996 %J IEEE Trans. Commun. %K dblp %N 5 %P 631-640 %T Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. %U http://dblp.uni-trier.de/db/journals/tcom/tcom44.html#LeeSKP96 %V 44

@article{journals/tcom/LeeSKP96, added-at = {2024-10-06T00:00:00.000+0200}, author = {Lee, David and Sabnani, Krishan K. and Kristol, David M. and Paul, Sanjoy}, biburl = {https://www.bibsonomy.org/bibtex/21e6ea808a5ae89892de5e5d6dfe528b0/dblp}, ee = {https://doi.org/10.1109/26.494307}, interhash = {4c07c4488b0423c54d0c8fe7d4c4f4ba}, intrahash = {1e6ea808a5ae89892de5e5d6dfe528b0}, journal = {IEEE Trans. Commun.}, keywords = {dblp}, number = 5, pages = {631-640}, timestamp = {2024-10-07T07:24:44.000+0200}, title = {Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.}, url = {http://dblp.uni-trier.de/db/journals/tcom/tcom44.html#LeeSKP96}, volume = 44, year = 1996 }