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
Publication statusPublished - 2004

Bibliographical note


Cite this