Symbolic Model Checking of Hierarchical UML State Machines

Reference:

Jori Dubrovin and Tommi Junttila. Symbolic model checking of hierarchical UML state machines. In Jonathan Billington, Zhenhua Duan, and Maciej Koutny, editors, Proceedings of the 2008 8th International Conference on Application of Concurrency to System Design, pages 108–117, Xi`an, China, June 23–27 2008. IEEE Press.

Suggested BibTeX entry:

@inproceedings{DubrovinJunttila:ACSD2008,
    address = {Xi`an, China},
    author = {Jori Dubrovin and Tommi Junttila},
    booktitle = {Proceedings of the 2008 8th International Conference on Application of Concurrency to System Design},
    editor = {Jonathan Billington and Zhenhua Duan and Maciej Koutny},
    month = {June 23--27},
    pages = {108--117},
    publisher = {IEEE Press},
    title = {Symbolic Model Checking of Hierarchical {UML} State Machines},
    year = {2008},
}