Conditional Transition Systems with Upgrades

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020.

Suggested BibTeX entry:

@article{BKKS20,
    author = {Harsh Beohar and Barbara K\"onig and Sebastian K\"upper and Alexandra Silva},
    journal = {Science of Computer Programming},
    title = {Conditional Transition Systems with Upgrades},
    volume = {186},
    year = {2020}
}

This work is not available online here.