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), 2017. to appear.

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)},
    note = {to appear},
    title = {Conditional Transition System with Upgrades},
    year = {2017}
}

This work is not available online here.