%0 Journal Article %1 journals/fac/GunterP05 %A Gunter, Elsa L. %A Peled, Doron A. %D 2005 %J Formal Asp. Comput. %K dblp %N 2 %P 201-221 %T Model checking, testing and verification working together. %U http://dblp.uni-trier.de/db/journals/fac/fac17.html#GunterP05 %V 17

@article{journals/fac/GunterP05, added-at = {2016-02-12T00:00:00.000+0100}, author = {Gunter, Elsa L. and Peled, Doron A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b01cce707310cd77193029e2e24ed4d/dblp}, ee = {http://dx.doi.org/10.1007/s00165-005-0059-8}, interhash = {0f86f134fe04dcaee91839faab45c05c}, intrahash = {7b01cce707310cd77193029e2e24ed4d}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 2, pages = {201-221}, timestamp = {2016-02-13T10:32:01.000+0100}, title = {Model checking, testing and verification working together.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac17.html#GunterP05}, volume = 17, year = 2005 }