Decidability and Undecidability Results for Duration Calculus

Zhou Chaochen, Michael Reichhardt Hansen, P. Sestoft, P. Enjalbert (Editor), A. Finkel (Editor), K. W. Wagner (Editor)

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

Conference	STACS'93
Period	01/01/1993 → …

Cite this

@inproceedings{f7b7087784b34b49b65b041ba1ea1b7d,

title = "Decidability and Undecidability Results for Duration Calculus",

author = "Zhou Chaochen and Hansen, {Michael Reichhardt} and P. Sestoft and P. Enjalbert and A. Finkel and Wagner, {K. W.}",

year = "1993",

language = "English",

pages = "58--68",

booktitle = "STACS'93",

publisher = "Springer Verlag",

address = "Germany",

note = "STACS'93 ; Conference date: 01-01-1993",

}