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). IEEE Xplore, 2017.

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)},
    publisher = {IEEE Xplore},
    title = {Conditional Transition System with Upgrades},
    year = {2017}

See ...
© University of Duisburg-Essen, Theoretical Computer Science group