Decidability and Undecidability Results for Duration Calculus

Zhou Chaochen, Michael R. Hansen, P. Sestoft

TypeConference paper [With referee]
ConferenceSTACS'93
EditorsP. Enjalbert and A. Finkel and K. W. Wagner
Year1993    Vol. 665    pp. 58-68
PublisherSpringer-Verlag
SeriesLNCS
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering