%0 Conference Paper %1 conf/models/GreenyerGKM16 %A Greenyer, Joel %A Gritzner, Daniel %A Katz, Guy %A Marron, Assaf %B D&P@MoDELS %D 2016 %E de Lara, Juan %E Clarke, Peter J. %E Sabetzadeh, Mehrdad %I CEUR-WS.org %K dblp %P 16-23 %T Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. %U http://dblp.uni-trier.de/db/conf/models/dp2016.html#GreenyerGKM16 %V 1725

@inproceedings{conf/models/GreenyerGKM16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Greenyer, Joel and Gritzner, Daniel and Katz, Guy and Marron, Assaf}, biburl = {https://www.bibsonomy.org/bibtex/2dce8ceb31012986bffa8f5ac868d9730/dblp}, booktitle = {D&P@MoDELS}, crossref = {conf/models/2016dp}, editor = {de Lara, Juan and Clarke, Peter J. and Sabetzadeh, Mehrdad}, ee = {https://ceur-ws.org/Vol-1725/demo3.pdf}, interhash = {1ef0c5f4880af5e010dee6f6a5d95c00}, intrahash = {dce8ceb31012986bffa8f5ac868d9730}, keywords = {dblp}, pages = {16-23}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:58:16.000+0200}, title = {Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.}, url = {http://dblp.uni-trier.de/db/conf/models/dp2016.html#GreenyerGKM16}, volume = 1725, year = 2016 }