A Coalgebraic Treatment of Conditional Transition Systems with ...
Reference
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002.
Suggested BibTeX entry:
@misc{BKKSW16,
author = {Harsh Beohar and Barbara K\"onig and Sebastian K\"upper and Alexandra Silva and Thorsten Wi{\ss}mann},
note = {arXiv:1612.05002},
title = {A Coalgebraic Treatment of Conditional Transition Systems with Upgrades},
year = {2016}
}
