Results for Real-time temporal logics

Publications & Outputs

1. 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