Symbolic Model Checking of Hierarchical UML State Machines

Jori Dubrovin, Tommi Junttila

    Research output: Working paperProfessional

    21 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2007
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports
    No.B23

    Cite this