Duration Calculus

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

Original language	English
Title of host publication	Logics of Specification Languages
Editors	Dines Bjørner, Martin C. Henson
Publisher	Springer
Publication date	2008
Pages	291-341
ISBN (Print)	978-3-540-74106-0
Publication status	Published - 2008

Series	Monographs in Theoretical Computer Science. An EATCS Series

OpenUrl availability

@inbook{a3602a1b2c2e4ba8b3318105dc00f9da,

title = "Duration Calculus",

author = "Hansen, \{Michael Reichhardt\}",

year = "2008",

language = "English",

isbn = "978-3-540-74106-0",

series = "Monographs in Theoretical Computer Science. An EATCS Series",

pages = "291--341",

editor = "Dines Bj{\o}rner and Henson, \{Martin C.\}",

booktitle = "Logics of Specification Languages",

publisher = "Springer",

}