@inproceedings{a9f49765fee84d298e66ed78f7be8eb1,
title = "Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach",
author = "Lam, {Vitus S W} and Julian Padget",
year = "2004",
month = may,
language = "English",
pages = "337----347",
booktitle = "Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004)",
note = "11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004) ; Conference date: 01-05-2004",
}