%0 Journal Article %1 1706886 %A Donini, Francesco Maria %A Mongiello, Marina %A Ruta, Michele %A Totaro, Rodolfo %C Amsterdam, The Netherlands, The Netherlands %D 2006 %I Elsevier Science Publishers B. V. %J Electron. Notes Theor. Comput. Sci. %K mdd %N 2 %P 19--32 %R http://dx.doi.org/10.1016/j.entcs.2005.07.034 %T A Model Checking-based Method for Verifying Web Application Design %V 151

@article{1706886, added-at = {2010-07-06T18:49:35.000+0200}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Donini, Francesco Maria and Mongiello, Marina and Ruta, Michele and Totaro, Rodolfo}, biburl = {https://www.bibsonomy.org/bibtex/2af043dcb6e2ad555c45d87d602369853/livany}, doi = {http://dx.doi.org/10.1016/j.entcs.2005.07.034}, interhash = {e2aae81aaafbbec752dd2bdaf396f487}, intrahash = {af043dcb6e2ad555c45d87d602369853}, issn = {1571-0661}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {mdd}, number = 2, pages = {19--32}, publisher = {Elsevier Science Publishers B. V.}, timestamp = {2010-07-06T18:49:36.000+0200}, title = {A Model Checking-based Method for Verifying Web Application Design}, volume = 151, year = 2006 }