[ACM Press the third workshop - Chicago, Illinois, USA (2014.08.22-2014.08.22)] Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14 - NetRevert
- 作者Zhang, Ying; Beheshti, Neda; Manghirmalani, Ravi
- 文件大小415.85KB
- 发表时间2014
- DOI10.1145/2620728.2620779
- 页码231-232
同作者推荐
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