Reference:
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", in Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, pp. 19-24, IEEE Computer Society, 2010.
Links:
@InProceedings{GieseHildebrandtLambers2010_1,
AUTHOR = {Giese, Holger and Hildebrandt, Stephan and Lambers, Leen},
TITLE = {{Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars}},
YEAR = {2010},
BOOKTITLE = {Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation},
PAGES = {19-24},
PUBLISHER = {IEEE Computer Society},
URL = {http://doi.ieeecomputersociety.org/10.1109/MoDeVVa.2010.14},
OPTacc_url = {},
PDF = {uploads/pdf/GieseHildebrandtLambers2010_1_formalization_of_tggs.pdf},
OPTacc_pdf = {}
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser