Model-checking dense-time duration calculus

Martin Fränzle, Michael R. Hansen (Editor)

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

Original language	English
Title of host publication	Duration Calculus: A Logical Approach to Real-Time Systems, Workshop Proceedings of the 10th European Summer School in Logic
Publisher	DFKI
Publication date	1998
Pages	31-40
Publication status	Published - 1998
Event	10th European Summer School in Logic Language and Information - Saarbrücken, Germany Duration: 17 Aug 1998 → 28 Aug 1998 Conference number: 10 http://www.folli.info/?page_id=45 https://www.coli.uni-saarland.de/conf/esslli-98/

Conference	10th European Summer School in Logic Language and Information
Number	10
Country/Territory	Germany
City	Saarbrücken
Period	17/08/1998 → 28/08/1998
Internet address	http://www.folli.info/?page_id=45 https://www.coli.uni-saarland.de/conf/esslli-98/

OpenUrl availability

@inproceedings{8ed20dbe377e46d3b15c7e64971482e8,

title = "Model-checking dense-time duration calculus",

author = "Martin Fr{\"a}nzle and Hansen, \{Michael R.\}",

year = "1998",

language = "English",

pages = "31--40",

booktitle = "Duration Calculus: A Logical Approach to Real-Time Systems, Workshop Proceedings of the 10th European Summer School in Logic",

publisher = "DFKI",

note = "10th European Summer School in Logic Language and Information, ESSLLI'98 ; Conference date: 17-08-1998 Through 28-08-1998",

url = "http://www.folli.info/?page\_id=45, https://www.coli.uni-saarland.de/conf/esslli-98/",

}

TY - GEN

T1 - Model-checking dense-time duration calculus

AU - Fränzle, Martin

A2 - Hansen, Michael R.

N1 - Conference code: 10

PY - 1998

Y1 - 1998

M3 - Article in proceedings

SP - 31

EP - 40

BT - Duration Calculus: A Logical Approach to Real-Time Systems, Workshop Proceedings of the 10th European Summer School in Logic

PB - DFKI

T2 - 10th European Summer School in Logic Language and Information

Y2 - 17 August 1998 through 28 August 1998

ER -