TY  - CONF

T1  - Conditional transition systems with upgrades

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

PY  - 2017/09/01

AU  - Beohar H

AU  - Konig B

AU  - Kupper S

AU  - Silva A

ED  - 

DO  - DOI: 10.1109/tase.2017.8285624

PB  - IEEE

Y2  - 2024/12/23

ER  -