TY  - JOUR

T1  - A coalgebraic treatment of conditional transition systems with upgrades

JO  - Logical Methods in Computer Science (LMCS)

UR  - http://eprints.whiterose.ac.uk/158383/

UR  - http://lmcs.episciences.org/4330

PY  - 2018/02/28

AU  - Beohar H

AU  - König B

AU  - Küpper S

AU  - Silva A

AU  - Wißmann T

ED  - 

DO  - DOI: 10.23638/LMCS-14(1:19)2018

PB  - Technical University of Braunschweig

VL  - 14

IS  - 1

Y2  - 2024/12/22

ER  -