Zarrin Langari, Richard J. Trefler. Application of Graph Transformation in Verification of Dynamic Systems. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 261-276, Springer, 2009. [doi]
@inproceedings{LangariT09,
title = {Application of Graph Transformation in Verification of Dynamic Systems},
author = {Zarrin Langari and Richard J. Trefler},
year = {2009},
doi = {10.1007/978-3-642-00255-7_18},
url = {http://dx.doi.org/10.1007/978-3-642-00255-7_18},
tags = {graph transformation, graph-rewriting, transformation system, rewriting, transformation},
researchr = {https://researchr.org/publication/LangariT09},
cites = {0},
citedby = {0},
pages = {261-276},
booktitle = {Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings},
editor = {Michael Leuschel and Heike Wehrheim},
volume = {5423},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00254-0},
}