Mona Qanadilo

According to our database, Mona Qanadilo authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2013

Accelerating Online Model Checking.

Mona Qanadilo, Sufyan Samara, Yuhong Zhao

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013