Efficient model checking for duration calculus

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	International Journal of Software and Informatics
Volume	3
Issue number	2-3
Pages (from-to)	171-196
ISSN	1673-7288
Publication status	Published - 2009

OpenUrl availability

@article{9d11c97bfb23435b8cc4ef0088851c57,

title = "Efficient model checking for duration calculus",

author = "Martin Fr{\"a}nzle and Hansen, \{Michael Reichhardt\}",

year = "2009",

language = "English",

volume = "3",

pages = "171--196",

journal = "International Journal of Software and Informatics",

issn = "1673-7288",

publisher = "Kexue Chubanshe",

number = "2-3",

}