Thorsten Wi?Mann


AuthID: R-00H-PTD

Publications Awaiting Confirmation

1
TITLE: A coalgebraic treatment of conditional transition systems with upgrades
AUTHORS: Harsh Beohar; Barbara König; Sebastian Küpper; Alexandra Silva; Thorsten Wißmann;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service