Symbolic Model Checking of Hierarchical UML State Machines

Reference:

Jori Dubrovin and Tommi Junttila. Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.

Suggested BibTeX entry:

@techreport{HUT-TCS-B23,
    address = {Espoo, Finland},
    author = {Jori Dubrovin and Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {December},
    number = {B23},
    title = {Symbolic Model Checking of Hierarchical {UML} State Machines},
    type = {Technical Report},
    year = {2007},
}