%0 Conference Paper %1 conf/eewc/SkotnicaKP17 %A Skotnica, Marek %A van Kervel, Steven J. H. %A Pergl, Robert %B EEWC %D 2017 %E Aveiro, David %E Pergl, Robert %E Guizzardi, Giancarlo %E Almeida, João Paulo A. %E Magalhães, Rodrigo %E Lekkerkerk, Hans %I Springer %K dblp %P 18-32 %T A DEMO Machine - A Formal Foundation for Execution of DEMO Models. %U http://dblp.uni-trier.de/db/conf/eewc/eewc2017.html#SkotnicaKP17 %V 284 %@ 978-3-319-57955-9

@inproceedings{conf/eewc/SkotnicaKP17, added-at = {2017-05-21T00:00:00.000+0200}, author = {Skotnica, Marek and van Kervel, Steven J. H. and Pergl, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2af40c26ce13f7879798b6ad919e6ec6a/dblp}, booktitle = {EEWC}, crossref = {conf/eewc/2017}, editor = {Aveiro, David and Pergl, Robert and Guizzardi, Giancarlo and Almeida, João Paulo A. and Magalhães, Rodrigo and Lekkerkerk, Hans}, ee = {https://doi.org/10.1007/978-3-319-57955-9_2}, interhash = {3f554d99f85751b67f17ac533f24c5a5}, intrahash = {af40c26ce13f7879798b6ad919e6ec6a}, isbn = {978-3-319-57955-9}, keywords = {dblp}, pages = {18-32}, publisher = {Springer}, series = {Lecture Notes in Business Information Processing}, timestamp = {2024-04-10T01:40:09.000+0200}, title = {A DEMO Machine - A Formal Foundation for Execution of DEMO Models.}, url = {http://dblp.uni-trier.de/db/conf/eewc/eewc2017.html#SkotnicaKP17}, volume = 284, year = 2017 }