Statistics
Publications
1
Citations
10
H-Index
1
Active since
2013
Affiliations
Paderborn University(Current)
M. Qanadilo is an author at Paderborn University specializing in model execution, computer engineering, and exploration.
Publications per year
2013–2013
1
1
Accelerating Online Model Checking
M. Qanadilo, Sufyan Samara, Yuhong Zhao · 2013 · 10 citations
1–1 of 1