%0 Conference Paper %1 conf/setta/SchivoYRGKDRS17 %A Schivo, Stefano %A Yildiz, Bugra M. %A Ruijters, Enno %A Gerking, Christopher %A Kumar, Rajesh %A Dziwok, Stefan %A Rensink, Arend %A Stoelinga, Mariëlle %B SETTA %D 2017 %E Larsen, Kim Guldstrand %E Sokolsky, Oleg %E Wang, Ji %I Springer %K %P 319-336 %T How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. %U http://dblp.uni-trier.de/db/conf/setta/setta2017.html#SchivoYRGKDRS17 %V 10606 %@ 978-3-319-69483-2

@inproceedings{conf/setta/SchivoYRGKDRS17, added-at = {2023-12-14T16:25:14.000+0100}, author = {Schivo, Stefano and Yildiz, Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/236e8315b233c5db7bc10137436b9ca34/admin}, booktitle = {SETTA}, crossref = {conf/setta/2017}, editor = {Larsen, Kim Guldstrand and Sokolsky, Oleg and Wang, Ji}, ee = {https://doi.org/10.1007/978-3-319-69483-2_19}, interhash = {f7b64854929facf2efa72adfe5fbbf04}, intrahash = {36e8315b233c5db7bc10137436b9ca34}, isbn = {978-3-319-69483-2}, keywords = {}, pages = {319-336}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:25:14.000+0100}, title = {How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2017.html#SchivoYRGKDRS17}, volume = 10606, year = 2017 }