%0 Journal Article %1 journals/spe/Holzmann88 %A Holzmann, Gerard J. %D 1988 %J Softw. Pract. Exp. %K dblp %N 2 %P 137-161 %T An Improved Protocol Reachability Analysis Technique. %U http://dblp.uni-trier.de/db/journals/spe/spe18.html#Holzmann88 %V 18

@article{journals/spe/Holzmann88, added-at = {2020-04-09T00:00:00.000+0200}, author = {Holzmann, Gerard J.}, biburl = {https://www.bibsonomy.org/bibtex/26ef95d6cdd368ed376edd7a770871e3e/dblp}, ee = {https://doi.org/10.1002/spe.4380180203}, interhash = {f4bbe74debb2e73044c2a76243035891}, intrahash = {6ef95d6cdd368ed376edd7a770871e3e}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 2, pages = {137-161}, timestamp = {2020-04-10T11:54:36.000+0200}, title = {An Improved Protocol Reachability Analysis Technique.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe18.html#Holzmann88}, volume = 18, year = 1988 }