Old Web
English
Sign In
Acemap
>
Paper
>
The Temporal Logic of Reac-tive and Concurent Systems: Specification
The Temporal Logic of Reac-tive and Concurent Systems: Specification
1993
Zohar Manna
Amir Pnueli
Keywords:
Real-time computing
Temporal logic
Interval temporal logic
Language Of Temporal Ordering Specification
Temporal logic of actions
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]