Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
On the synthesis of a reactive module
Home
Publications
On the synthesis of a reactive module
On the synthesis of a reactive module
Authors:
AP
A. Pnueli
A. Pnueli
RR
R. Rosner
R. Rosner
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Open Access
Publisher website
Google Scholar
1 January 1989
conference paper
Published by
Association for Computing Machinery (ACM)
p.
179-190
DOI:
10.1145/75277.75293
Abstract
No abstract available
Cited
Cited by 1125 articles
Scroll to top