A prototype model checker for Duration Calculus

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

Original language	English
Title of host publication	21st Nordic Workshop on Programming Theory (NWPT'09)
Publisher	DTU Informatik, Danmarks Tekniske Universitet
Publication date	2009
Pages	26-29
ISBN (Print)	978-87-643-0565-4
Publication status	Published - 2009
Event	21st Nordic Workshop on Programming Theory - Lyngby, Denmark Duration: 14 Dec 2009 → 16 Dec 2009 Conference number: 21 http://www2.imm.dtu.dk/projects/nwpt09/venue.html

Workshop	21st Nordic Workshop on Programming Theory
Number	21
Country/Territory	Denmark
City	Lyngby
Period	14/12/2009 → 16/12/2009
Internet address	http://www2.imm.dtu.dk/projects/nwpt09/venue.html

OpenUrl availability

@inproceedings{d31dc9e7d8594f889943f546f8da2096,

title = "A prototype model checker for Duration Calculus",

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

year = "2009",

language = "English",

isbn = "978-87-643-0565-4",

pages = "26--29",

booktitle = "21st Nordic Workshop on Programming Theory (NWPT'09)",

publisher = "DTU Informatik, Danmarks Tekniske Universitet",

note = "21st Nordic Workshop on Programming Theory, NWPT'09 ; Conference date: 14-12-2009 Through 16-12-2009",

url = "http://www2.imm.dtu.dk/projects/nwpt09/venue.html",

}

TY - GEN

T1 - A prototype model checker for Duration Calculus

AU - Heise, William Pihl

AU - Fränzle, Martin

AU - Hansen, Michael Reichhardt

N1 - Conference code: 21

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SN - 978-87-643-0565-4

SP - 26

EP - 29

BT - 21st Nordic Workshop on Programming Theory (NWPT'09)

PB - DTU Informatik, Danmarks Tekniske Universitet

T2 - 21st Nordic Workshop on Programming Theory

Y2 - 14 December 2009 through 16 December 2009

ER -