Home > Research > Browse

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 journalJournal article