Sven Lohmann, Olaf Stursberg, Sebastian Engell. Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. In American Control Conference, ACC 2007, New York, NY, USA, 9-13 July, 2007. pages 3606-3611, IEEE, 2007. [doi]
@inproceedings{LohmannSE07, title = {Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs}, author = {Sven Lohmann and Olaf Stursberg and Sebastian Engell}, year = {2007}, doi = {10.1109/ACC.2007.4282937}, url = {https://doi.org/10.1109/ACC.2007.4282937}, researchr = {https://researchr.org/publication/LohmannSE07}, cites = {0}, citedby = {0}, pages = {3606-3611}, booktitle = {American Control Conference, ACC 2007, New York, NY, USA, 9-13 July, 2007}, publisher = {IEEE}, }