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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04)
Publisher	IEEE Society Press
Pages	198-207
Publication status	Published - 2004

ABBR04

Persistent URL (handle)

@inproceedings{2262af1fb6c64b6b9ccfe905b7ce5ebd,

title = "Models and Temporal Logics for Timed Component Connectors",

author = "F. Arbab and C. Baier and F.C. Boer and J.J.M.M. Rutten",

note = "ABBR04",

year = "2004",

language = "English",

pages = "198--207",

booktitle = "Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04)",

publisher = "IEEE Society Press",

}