Formal Compositional Semantics for Yakindu Statecharts. Graics, B. & Molnár, V. In 24th Minisymposium of the Department of Measurement and Information Systems, pages 22–25, Budapest, Hungary, 2017.
![Formal Compositional Semantics for Yakindu Statecharts [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings {graics_molnar_minisy17,
title = {Formal Compositional Semantics for {Yakindu} Statecharts},
booktitle = {24th Minisymposium of the Department of Measurement and Information Systems},
year = {2017},
pages = {22{\textendash}25},
address = {Budapest, Hungary},
isbn = {978-963-313-243-2},
author = {Bence Graics and Vince Moln{\'a}r},
editor = {Pataki, B{\'e}la},
url_pdf = {https://inf.mit.bme.hu/sites/default/files/gamma/documents/Minisy2017_Graics.pdf},
}Downloads: 0
{"_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}