Symbolic Model Checking of Hierarchical UML State Machines

Research output: Working paper › Professional

26 Citations (Scopus)

Original language	English
Place of Publication	Espoo
Publication status	Published - 2007
MoE publication type	D4 Published development or research report or study

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

Cite this

@techreport{ca075657d43c41148d282f04cff25fd3,

title = "Symbolic Model Checking of Hierarchical UML State Machines",

author = "Jori Dubrovin and Tommi Junttila",

year = "2007",

language = "English",

series = "Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports",

number = "B23",

type = "WorkingPaper",

}