Harsh B, König B, Küpper S, Silva A, Wißmann T (2018)
Publication Type: Journal article
Publication year: 2018
Book Volume: Volume 14, Issue 1
URI: https://lmcs.episciences.org/4330/pdf
DOI: 10.23638/LMCS-14(1:19)2018
Open Access Link: https://lmcs.episciences.org/4330
APA:
Harsh, B., König, B., Küpper, S., Silva, A., & Wißmann, T. (2018). A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, Volume 14, Issue 1. https://doi.org/10.23638/LMCS-14(1:19)2018
MLA:
Harsh, Beohar, et al. "A coalgebraic treatment of conditional transition systems with upgrades." Logical Methods in Computer Science Volume 14, Issue 1 (2018).
BibTeX: Download