Models and Temporal Logics for Timed Component Connectors

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",

}

TY - GEN

T1 - Models and Temporal Logics for Timed Component Connectors

AU - Arbab, F.

AU - Baier, C.

AU - Boer, F.C.

AU - Rutten, J.J.M.M.

N1 - ABBR04

PY - 2004

Y1 - 2004

UR - https://www.scopus.com/pages/publications/16244368082

UR - https://www.scopus.com/pages/publications/16244368082#tab=citedBy

M3 - Conference contribution

SP - 198

EP - 207

BT - Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04)

PB - IEEE Society Press

ER -