A coalgebraic treatment of conditional transition systems with upgrades (bibtex)
by Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
Reference:
A coalgebraic treatment of conditional transition systems with upgrades (Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann), In Logical Methods in Computer Science, vol. Volume 14, Issue 1, 2018.
Bibtex Entry:
@article{lmcsCTS,
  title = {A coalgebraic treatment of conditional transition systems with upgrades},
  author = {Beohar, Harsh and K{\"o}nig, Barbara and K{\"u}pper, Sebastian and Silva, Alexandra and Wi{\ss}mann, Thorsten},
  url = {http://lmcs.episciences.org/4330},
  doi = {10.23638/LMCS-14(1:19)2018},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 14, Issue 1},
  year = {2018},
  month = {Feb},
  keywords = {Computer Science - Logic in Computer Science},
  url = {https://lmcs.episciences.org/4330/pdf},
}
Powered by bibtexbrowser