Conditional Transition System with Upgrades


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:

    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.
© University of Duisburg-Essen, Theoretical Computer Science group