Title

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.

This document is currently not available here.


Share

 
COinS