Accelerating Online Model Checking - Qanadilo, Mona; Samara, Sufyan; Zhao, Yuhong (6'th Latin-American Symposium on Dependable Computing (LADC 2013), 2013)
Keywords: conference paper