Search results for: K. Narayan
Journal of the American College of Radiology > 2016 > 13 > 8 > 909-913
Heat Transfer—Asian Research > 45 > 4 > 342 - 357
Journal of Neuroimaging > 26 > 3 > 360 - 365
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 172-187
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 358-372
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 227-238
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 405-414
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 > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 335-347
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Model-Checking and HMSC > 296-310