Min Jiang, Changle Zhou, Fan Zhang, Shu Chen. Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 263-266, IEEE Computer Society, 2008. [doi]
@inproceedings{JiangZZC08,
title = {Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations},
author = {Min Jiang and Changle Zhou and Fan Zhang and Shu Chen},
year = {2008},
doi = {10.1109/CSSE.2008.992},
url = {http://dx.doi.org/10.1109/CSSE.2008.992},
tags = {model-to-model transformation, model checking, meta-model, source-to-source, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/JiangZZC08},
cites = {0},
citedby = {0},
pages = {263-266},
booktitle = {International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3336-0},
}