%0 Journal Article %1 journals/ase/HolzmannJG08 %A Holzmann, Gerard J. %A Joshi, Rajeev %A Groce, Alex %D 2008 %J Autom. Softw. Eng. %K dblp %N 3-4 %P 283-297 %T Model driven code checking. %U http://dblp.uni-trier.de/db/journals/ase/ase15.html#HolzmannJG08 %V 15

@article{journals/ase/HolzmannJG08, added-at = {2008-11-26T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Joshi, Rajeev and Groce, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2de100ff5c594c12aeb2b5ae22a9d3ba2/dblp}, date = {2008-11-26}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s10515-008-0033-9}, interhash = {2e686e935bfb2901a9c2cdef4cb7a4c7}, intrahash = {de100ff5c594c12aeb2b5ae22a9d3ba2}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = {3-4}, pages = {283-297}, timestamp = {2008-11-27T11:32:39.000+0100}, title = {Model driven code checking.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase15.html#HolzmannJG08}, volume = 15, year = 2008 }