{"_id":"z2gbxh2Ny43cNL8qp","bibbaseid":"hhnle-knoop-margaria-schreiner-steffen-leveragingapplicationsofformalmethodsverificationandvalidationinternationalworkshopssars2011andmlsc2011heldundertheauspicesofisola2011inviennaaustriaoctober17182011revisedselectedpapers-2012","downloads":0,"creationDate":"2015-12-04T23:16:19.007Z","title":"Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers","author_short":["Hähnle, R.","Knoop, J.","Margaria, T.","Schreiner, D.","Steffen, B."],"year":2012,"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/2011w","bibdata":{"title":"Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers","author":["Reiner Hähnle","Jens Knoop","Tiziana Margaria","Dietmar Schreiner","Bernhard Steffen"],"author_short":["Hähnle, R.","Knoop, J.","Margaria, T.","Schreiner, D.","Steffen, B."],"bibtype":"proceedings","type":"proceedings","year":"2012","key":"dblp2477721","id":"dblp2477721","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/2011w","url":"http://dx.doi.org/10.1007/978-3-642-34781-8","conference":"ISoLA Workshops","text":"ISoLA Workshops 2012","booktitle":"Proceedings of ISoLA Workshops","bibtex":"@proceedings{ dblp2477721,\n title = {Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers},\n author = {Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},\n author_short = {Hähnle, R. and Knoop, J. and Margaria, T. and Schreiner, D. and Steffen, B.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2012},\n key = {dblp2477721},\n id = {dblp2477721},\n biburl = {http://www.dblp.org/rec/bibtex/conf/isola/2011w},\n url = {http://dx.doi.org/10.1007/978-3-642-34781-8},\n conference = {ISoLA Workshops},\n text = {ISoLA Workshops 2012},\n booktitle = {Proceedings of ISoLA Workshops}\n}","bibbaseid":"hhnle-knoop-margaria-schreiner-steffen-leveragingapplicationsofformalmethodsverificationandvalidationinternationalworkshopssars2011andmlsc2011heldundertheauspicesofisola2011inviennaaustriaoctober17182011revisedselectedpapers-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-34781-8"},"downloads":0},"search_terms":["leveraging","applications","formal","methods","verification","validation","international","workshops","sars","2011","mlsc","2011","held","under","auspices","isola","2011","vienna","austria","october","2011","revised","selected","papers","hähnle","knoop","margaria","schreiner","steffen"],"keywords":[],"authorIDs":[],"dataSources":["kJ88hdMdgbZp7qQSJ"]}