%0 Journal Article %1 journals/entcs/BothZF10 %A Both, Andreas %A Zimmermann, Wolf %A Franke, René %D 2010 %J Electron. Notes Theor. Comput. Sci. %K dblp %P 67-94 %T Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. %U http://dblp.uni-trier.de/db/journals/entcs/entcs263.html#BothZF10 %V 263

@article{journals/entcs/BothZF10, added-at = {2020-02-24T00:00:00.000+0100}, author = {Both, Andreas and Zimmermann, Wolf and Franke, René}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c3a1f5a688b40e1e4de17029c93bc6c9/dblp}, ee = {https://doi.org/10.1016/j.entcs.2010.05.005}, interhash = {89704f7947877bce287e82cc8a15ec3b}, intrahash = {c3a1f5a688b40e1e4de17029c93bc6c9}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {67-94}, timestamp = {2020-04-20T13:07:24.000+0200}, title = {Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs263.html#BothZF10}, volume = 263, year = 2010 }