Search results for: Samik Basu
Journal for ImmunoTherapy of Cancer > 2019 > 7 > 1 > 1-14
Mathematische Zeitschrift > 2019 > 293 > 3-4 > 1443-1487
Proceedings - Mathematical Sciences > 2019 > 129 > 1 > 1-36
Theoretical Computer Science > 2016 > 656 > PA > 60-75
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking I > 326-346
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 563-569
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Modules and Compositional Verification > 315-330
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State and Parametric Systems > 236-250
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 79-94
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 42-57
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 79-96
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification II > 338-354
Journal of Pure and Applied Algebra > 2015 > 219 > 9 > 3992-4015