Search results for: C. R. Ramakrishnan
American Journal of Cardiovascular Drugs > 2018 > 18 > 5 > 387-395
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 147-162
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 74-88
Lecture Notes in Computer Science > Logic Programming > Posters > 500-501
Lecture Notes in Computer Science > Functional and Logic Programming > Refereed Papers Logic and Functional-Logic Programming > 24-38
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 158-159
Lecture Notes in Computer Science > Program Development in Computational Logic > Transformation and Specialisation > 261-290
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187