TY  - CONF

T1  - Conditional transition systems with upgrades

JO  - 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

UR  - https://doi.org/10.1109/tase.2017.8285624

PY  - 2018/02/07

AU  - Beohar H

AU  - Konig B

AU  - Kupper S

AU  - Silva A

ED  - 

DO  - DOI: 10.1109/tase.2017.8285624

PB  - IEEE

SP  - 1

EP  - 8

Y2  - 2025/11/20

ER  -