%0 Conference Paper %1 conf/models/BesnardTJ0D19a %A Besnard, Valentin %A Teodorov, Ciprian %A Jouault, Frédéric %A Brun, Matthias %A Dhaussy, Philippe %B MoDELS %D 2019 %E Kessentini, Marouane %E Yue, Tao %E Pretschner, Alexander %E Voss, Sebastian %E Burgueño, Loli %I IEEE %K dblp %P 161-171 %T Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. %U http://dblp.uni-trier.de/db/conf/models/models2019.html#BesnardTJ0D19a %@ 978-1-7281-2536-7

@inproceedings{conf/models/BesnardTJ0D19a, added-at = {2019-12-02T00:00:00.000+0100}, author = {Besnard, Valentin and Teodorov, Ciprian and Jouault, Frédéric and Brun, Matthias and Dhaussy, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2bf44d39db2cb3bc1712742dc9d896e17/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2019}, editor = {Kessentini, Marouane and Yue, Tao and Pretschner, Alexander and Voss, Sebastian and Burgueño, Loli}, ee = {https://doi.org/10.1109/MODELS.2019.000-5}, interhash = {83476601e3d6cf95d041ff38dce2dfe6}, intrahash = {bf44d39db2cb3bc1712742dc9d896e17}, isbn = {978-1-7281-2536-7}, keywords = {dblp}, pages = {161-171}, publisher = {IEEE}, timestamp = {2020-11-25T11:36:19.000+0100}, title = {Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.}, url = {http://dblp.uni-trier.de/db/conf/models/models2019.html#BesnardTJ0D19a}, year = 2019 }