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  - 2024/12/23

ER  -