Extending CTL with actions and real time

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	105-114
Publication status	Published - 4 Oct 2000
Event	International Conference on Temporal Logic, ICTL 2000 - University of Leipzig, Leipzig, Germany Duration: 4 Oct 2000 → 7 Oct 2000

Conference	International Conference on Temporal Logic, ICTL 2000
Abbreviated title	ICTL
Country/Territory	Germany
City	Leipzig
Period	4/10/00 → 7/10/00

Keywords

@conference{d8b6a6a8b68e436285961314a42adc4a,

title = "Extending CTL with actions and real time",

keywords = "METIS-119638",

author = "Jansen, \{David N.\} and Wieringa, \{Roel J.\}",

year = "2000",

month = oct,

day = "4",

language = "English",

pages = "105--114",

note = "International Conference on Temporal Logic, ICTL 2000, ICTL ; Conference date: 04-10-2000 Through 07-10-2000",

}