PubPeer
The online Journal club
login
create account
Home
Publications
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
arXiv (2015) -
Comments
arxiv: 1509.06507 issn: 2331-8422
Silvano Dal Zilio, Bernard Berthomieu
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}})