{"_id":"ssMxYjDeQLLHa6nmS","bibbaseid":"gnther-laarman-sokolova-weissenbacher-dynamicreductionsformodelcheckingconcurrentsoftware-2017","author_short":["Günther, H.","Laarman, A.","Sokolova, A.","Weissenbacher, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2021-04-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Günther"],"firstnames":["Henning"],"suffixes":[]},{"propositions":[],"lastnames":["Laarman"],"firstnames":["Alfons"],"suffixes":[]},{"propositions":[],"lastnames":["Sokolova"],"firstnames":["Ana"],"suffixes":[]},{"propositions":[],"lastnames":["Weissenbacher"],"firstnames":["Georg"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2511c2cd4acea494145bf62d1e7c53e1d/dblp","booktitle":"VMCAI","crossref":"conf/vmcai/2017","editor":[{"propositions":[],"lastnames":["Bouajjani"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Monniaux"],"firstnames":["David"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-52234-0_14","interhash":"b56cedea0ea6575492a6e0bb3df9e85c","intrahash":"511c2cd4acea494145bf62d1e7c53e1d","isbn":"978-3-319-52233-3","keywords":"dblp","pages":"246-265","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-04-10T00:33:11.000+0200","title":"Dynamic Reductions for Model Checking Concurrent Software.","url":"http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#GuntherLSW17","volume":"10145","year":"2017","bibtex":"@inproceedings{conf/vmcai/GuntherLSW17,\n added-at = {2021-04-09T00:00:00.000+0200},\n author = {Günther, Henning and Laarman, Alfons and Sokolova, Ana and Weissenbacher, Georg},\n biburl = {https://www.bibsonomy.org/bibtex/2511c2cd4acea494145bf62d1e7c53e1d/dblp},\n booktitle = {VMCAI},\n crossref = {conf/vmcai/2017},\n editor = {Bouajjani, Ahmed and Monniaux, David},\n ee = {https://doi.org/10.1007/978-3-319-52234-0_14},\n interhash = {b56cedea0ea6575492a6e0bb3df9e85c},\n intrahash = {511c2cd4acea494145bf62d1e7c53e1d},\n isbn = {978-3-319-52233-3},\n keywords = {dblp},\n pages = {246-265},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-04-10T00:33:11.000+0200},\n title = {Dynamic Reductions for Model Checking Concurrent Software.},\n url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#GuntherLSW17},\n volume = 10145,\n year = 2017\n}\n\n","author_short":["Günther, H.","Laarman, A.","Sokolova, A.","Weissenbacher, G."],"editor_short":["Bouajjani, A.","Monniaux, D."],"key":"conf/vmcai/GuntherLSW17","id":"conf/vmcai/GuntherLSW17","bibbaseid":"gnther-laarman-sokolova-weissenbacher-dynamicreductionsformodelcheckingconcurrentsoftware-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-52234-0_14","Paper":"http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#GuntherLSW17"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sokolova?items=1000","dataSources":["YGSCFyGmyG7sp5685"],"keywords":["dblp"],"search_terms":["dynamic","reductions","model","checking","concurrent","software","günther","laarman","sokolova","weissenbacher"],"title":"Dynamic Reductions for Model Checking Concurrent Software.","year":2017}