Constructing an Interval Temporal Logic for Real-time Systems

Department(s)

Mathematics and Statistics

Second Department

Computer Science

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 1995 Elsevier, All rights reserved.

Publication Date

01 Jan 1995

This document is currently not available here.

Share

 
COinS