{"_id":"unyhcH3mAX9kvZu7L","bibbaseid":"graics-molnr-formalcompositionalsemanticsforyakindustatecharts-2017","author_short":["Graics, B.","Molnár, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Compositional Semantics for Yakindu Statecharts","booktitle":"24th Minisymposium of the Department of Measurement and Information Systems","year":"2017","pages":"22–25","address":"Budapest, Hungary","isbn":"978-963-313-243-2","author":[{"firstnames":["Bence"],"propositions":[],"lastnames":["Graics"],"suffixes":[]},{"firstnames":["Vince"],"propositions":[],"lastnames":["Molnár"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Pataki"],"firstnames":["Béla"],"suffixes":[]}],"url_pdf":"https://inf.mit.bme.hu/sites/default/files/gamma/documents/Minisy2017_Graics.pdf","bibtex":"@inproceedings {graics_molnar_minisy17,\n\ttitle = {Formal Compositional Semantics for {Yakindu} Statecharts},\n\tbooktitle = {24th Minisymposium of the Department of Measurement and Information Systems},\n\tyear = {2017},\n \tpages = {22{\\textendash}25},\n\taddress = {Budapest, Hungary},\n\tisbn = {978-963-313-243-2},\n\tauthor = {Bence Graics and Vince Moln{\\'a}r},\n\teditor = {Pataki, B{\\'e}la},\n\turl_pdf = {https://inf.mit.bme.hu/sites/default/files/gamma/documents/Minisy2017_Graics.pdf},\n}\n\n","author_short":["Graics, B.","Molnár, V."],"editor_short":["Pataki, B."],"key":"graics_molnar_minisy17","id":"graics_molnar_minisy17","bibbaseid":"graics-molnr-formalcompositionalsemanticsforyakindustatecharts-2017","role":"author","urls":{" pdf":"https://inf.mit.bme.hu/sites/default/files/gamma/documents/Minisy2017_Graics.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ftsrg.mit.bme.hu/gamma/publications/publications.bib","dataSources":["aKoGt6pfXxS85NpEf"],"keywords":[],"search_terms":["formal","compositional","semantics","yakindu","statecharts","graics","molnár"],"title":"Formal Compositional Semantics for Yakindu Statecharts","year":2017}