The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
25 Years of Model Checking
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Pillars of computer science
Hi-index | 0.00 |