Models and temporal logical specifications for timed component connectors

2007-03-01

Software & Systems Modeling , Volume 6 - Issue 1 p. 59- 82

Additional Metadata
THEME	Software (theme 1)
Journal	Software & Systems Modeling
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Arbab, F, Baier, C, de Boer, F.S, & Rutten, J.J.M.M. (2007). Models and temporal logical specifications for timed component connectors. Software & Systems Modeling, 6(1), 59–82.

Publication