← All Publications

Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations

Min Jiang and Changle Zhou and Fan Zhang and Shu Chen

International Conference on Computer Science and Software Engineering 2008 · published

Links pending

BibTeX

@inproceedings{jiang2008interpretation,
  title={Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations},
  author={Jiang, Min and Zhou, Changle and Zhang, Fan and Chen, Shu},
  booktitle={2008 International Conference on Computer Science and Software Engineering},
  volume={2},
  pages={263--266},
  year={2008},
  organization={IEEE},
}