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 乐竞体育 of Braunschweig VL - 14 IS - 1 Y2 - 2025/05/31 ER -