TY - JOUR T1 - Conditional transition systems with upgrades JO - Science of Computer Programming UR - http://eprints.whiterose.ac.uk/158382/ PY - 2020/02/01 AU - Beohar H AU - K枚nig B AU - K眉pper S AU - Silva A ED - DO - DOI: 10.1016/j.scico.2019.102320 PB - Elsevier VL - 186 Y2 - 2025/06/20 ER -