Conditional Transition System with Upgrades

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition system with upgrades. In Proc. of TASE '17 (Theoretical Aspects of Software Engineering). IEEE Xplore, 2017.

Suggested BibTeX entry:

@inproceedings{BKKS17,
    author = {Harsh Beohar and Barbara K\"{o}nig and Sebastian K\"{u}pper and Alexandra Silva},
    booktitle = {Proc. of TASE '17 (Theoretical Aspects of Software Engineering)},
    publisher = {IEEE Xplore},
    title = {Conditional Transition System with Upgrades},
    year = {2017}
}

See ieeexplore.ieee.org ...