PubPeer
The online Journal club
login
create account
Home
Publications
In Transition From Global to Modular Temporal Reasoning about Programs
Logics and Models of Concurrent Systems (1985) -
Comments
doi: 10.1007/978-3-642-82453-1_5
Amir Pnueli
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})