Old Web
English
Sign In
Acemap
>
Paper
>
Synthesis of Communicating Processes from Temporal Logic Specifications
Synthesis of Communicating Processes from Temporal Logic Specifications
1984
MannaZohar
WolperPierre
Keywords:
Programming language
Computer science
Temporal logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]