2007-03-01
Models and temporal logical specifications for timed component connectors
Publication
Publication
Software & Systems Modeling , Volume 6 - Issue 1 p. 59- 82
Additional Metadata | |
---|---|
Software & Systems Modeling | |
Organisation | Computer Security |
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.
|