Efficient Model Checking for a Hybrid Duration Calculus.

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

Original language	English
Title of host publication	International Workshop on Hybrid Logic and Applications (HyLo 2010).
Publication date	2010
Pages	1-7
Publication status	Published - 2010
Event	International Workshop on Hybrid Logic and Applications - Edinburgh, United Kingdom Duration: 10 Jul 2010 → … http://hylocore.ruc.dk/HyLo2010.html

Workshop	International Workshop on Hybrid Logic and Applications
Country/Territory	United Kingdom
City	Edinburgh
Period	10/07/2010 → …
Internet address	http://hylocore.ruc.dk/HyLo2010.html

OpenUrl availability

@inproceedings{83f876a96066430b8e8bfee04199af7a,

title = "Efficient Model Checking for a Hybrid Duration Calculus.",

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

year = "2010",

language = "English",

pages = "1--7",

booktitle = "International Workshop on Hybrid Logic and Applications (HyLo 2010).",

note = "International Workshop on Hybrid Logic and Applications, HyLo 2010 ; Conference date: 10-07-2010",

url = "http://hylocore.ruc.dk/HyLo2010.html",

}