MITRA
- 期刊名称ACM SIGMOD Record
- 作者Luiz, Aldelir Fernando; Lung, Lau Cheuk; Correia, Miguel
- 卷第43卷
- 期第1期
- 印刷ISSN0163-5808
- 文件大小300.17KB
- 发表时间2014-05-13
- DOI10.1145/2627692.2627699
- 页码32-38
同作者推荐
Propositional dynamic logic of nonregular programsDavid Harel; Amir Pnueli; Jonathan Stavi · 1983
PrefaceAmir Pnueli; Joseph Sifakis · 1995
Reduced Functional Consistency of Uninterpreted FunctionsAmir Pnueli; Ofer Strichman · 2006
Monitoring Interfaces for FaultsAmir Pnueli; Aleksandr Zaks; Lenore Zuck · 2006
A compositional approach to verificationYonit Kesten; Amir Pnueli · 2005
A proof method for cyclic programsNissim Francez; Amir Pnueli · 1978
Backtracking in recursive computationsNissim Francez; Boris Klebansky; Amir Pnueli · 1977
Models for reactivityZohar Manna; Amir Pnueli · 1993