Models and Temporal Logics for Timed Component Connectors

F. Arbab, C. Baier, F.C. Boer, J.J.M.M. Rutten

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04)
PublisherIEEE Society Press
Pages198-207
Publication statusPublished - 2004

Bibliographical note

ABBR04

Cite this

Arbab, F., Baier, C., Boer, F. C., & Rutten, J. J. M. M. (2004). Models and Temporal Logics for Timed Component Connectors. In Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04) (pp. 198-207). IEEE Society Press.