Search results for: Muhammad Zubair
Lecture Notes in Computer Science > NETWORKING 2011 > Network Science > 294-306
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 34-49
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Interpolations and SAT-Solvers > 173-188
Lecture Notes in Computer Science > Computational Intelligence > Intelligent Agent and Web Applications > 399-409