Bounded Model Construction for Duration Calculus

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

Original language	English
Title of host publication	Proceedings of the 17th Nordic Workshop on Programming Theory
Publication date	2005
Publication status	Published - 2005

Access to Document

@inproceedings{8d2b1d3c1d674ae0a11643ee066a1527,

title = "Bounded Model Construction for Duration Calculus",

author = "Jacob Enslev and Anne-Sofie Nielsen and Martin Fr{\"a}nzle and Hansen, \{Michael Reichhardt\} and Jones, \{Neil D.\}",

year = "2005",

language = "English",

booktitle = "Proceedings of the 17th Nordic Workshop on Programming Theory",

}