TCS / Research / Publications / Symbolic Model Checking of Hierarchical UML State Machines
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.