%0 Journal Article %1 varro_04_automated %A Varr'o, D'aniel %D 2004 %J Software and Systems Modeling %K 2005 verification model_checking %N 2 %P 85--113 %R 10.1007/s10270-003-0050-x %T Automated formal verification of visual modeling languages by model checking %U http://dx.doi.org/10.1007/s10270-003-0050-x %V V3

@article{varro_04_automated, added-at = {2009-02-11T22:20:58.000+0100}, author = {Varr'{o}, D'{a}niel}, biburl = {https://www.bibsonomy.org/bibtex/2c40388410d7184d8720def54cc12fa73/leonardo}, citeulike-article-id = {897587}, doi = {10.1007/s10270-003-0050-x}, interhash = {8646fb08e1de436aad4735e38ffeaa26}, intrahash = {c40388410d7184d8720def54cc12fa73}, journal = {Software and Systems Modeling}, keywords = {2005 verification model_checking}, month = May, number = 2, pages = {85--113}, posted-at = {2006-10-15 03:12:59}, priority = {2}, timestamp = {2009-02-11T22:20:58.000+0100}, title = {Automated formal verification of visual modeling languages by model checking}, url = {http://dx.doi.org/10.1007/s10270-003-0050-x}, volume = {V3}, year = 2004 }