Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for Real-time temporal logics
Publications & Outputs
Formal specification and verification of multimedia systems in open distributed processing.
Blair, L.
,
Blair, G. S.
, Bowman, H. &
Chetwynd, A. G.
,
30/09/1995
,
In:
Computer Standards and Interfaces.
17
,
5-6
,
p. 413-436
24 p.
Research output
:
Contribution to Journal/Magazine
›
Journal article