@inproceedings{Beohar2017,
 author = {Harsh Beohar and Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper and Alexandra Silva},
 booktitle = {International Symposium on Theoretical Aspects of Software Engineering (TASE)},
 doi = {10.1109/TASE.2017.8285624},
 title = {Conditional transition systems with upgrades},
 year = {2017}
}

{"_id":"mB2zmx5Rqiks8gvCk","bibbaseid":"beohar-knig-kpper-silva-conditionaltransitionsystemswithupgrades-2017","author_short":["Beohar, H.","König, B.","Küpper, S.","Silva, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Harsh"],"propositions":[],"lastnames":["Beohar"],"suffixes":[]},{"firstnames":["Barbara"],"propositions":[],"lastnames":["König"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Küpper"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"booktitle":"International Symposium on Theoretical Aspects of Software Engineering (TASE)","doi":"10.1109/TASE.2017.8285624","title":"Conditional transition systems with upgrades","year":"2017","bibtex":"@inproceedings{Beohar2017,\n author = {Harsh Beohar and Barbara K{\\\"{o}}nig and Sebastian K{\\\"{u}}pper and Alexandra Silva},\n booktitle = {International Symposium on Theoretical Aspects of Software Engineering (TASE)},\n doi = {10.1109/TASE.2017.8285624},\n title = {Conditional transition systems with upgrades},\n year = {2017}\n}\n\n","author_short":["Beohar, H.","König, B.","Küpper, S.","Silva, A."],"key":"Beohar2017","id":"Beohar2017","bibbaseid":"beohar-knig-kpper-silva-conditionaltransitionsystemswithupgrades-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["conditional","transition","systems","upgrades","beohar","könig","küpper","silva"],"title":"Conditional transition systems with upgrades","year":2017}