Old Web
English
Sign In
Acemap
>
Paper
>
The temporal logic o] reactive and concurrent systems
The temporal logic o] reactive and concurrent systems
1992
Zohar Manna
Amir Pnueli
Keywords:
Real-time computing
Temporal logic
Computer science
Temporal logic of actions
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]