A theory of Duration Calculus with applications

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Domain Modelling and Duration Calculus
Editors	Chris W. George, Zhiming Liu, Jim Woodcock
Publisher	Springer
Publication date	2007
Pages	119-176
Publication status	Published - 2007

Series	Lecture Notes in Computer Science
Number	4710

OpenUrl availability

@inbook{4c1dfa9860314da2808144884f6744c8,

title = "A theory of Duration Calculus with applications",

author = "Hansen, \{Michael Reichhardt\} and Hung, \{Dang Van\}",

year = "2007",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4710",

pages = "119--176",

editor = "George, \{Chris W.\} and Zhiming Liu and Jim Woodcock",

booktitle = "Domain Modelling and Duration Calculus",

}