TY  - JOUR

T1  - A coalgebraic treatment of conditional transition systems with upgrades

JO  - Logical Methods in Computer Science

UR  - https://eprints.whiterose.ac.uk/id/eprint/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  - Logical Methods in Computer Science

VL  - 14

IS  - 1

Y2  - 2025/11/20

ER  -