Vitus S. W. Lam, Julian A. Padget. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. pages 337-347, IEEE Computer Society, 2004. [doi]
@inproceedings{LamP04:1,
title = {Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach},
author = {Vitus S. W. Lam and Julian A. Padget},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/ecbs/2004/2125/00/21250337abs.htm},
tags = {model checking, meta-model, UML, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/LamP04%3A1},
cites = {0},
citedby = {0},
pages = {337-347},
booktitle = {11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic},
publisher = {IEEE Computer Society},
isbn = {0-7695-2125-8},
}