Wyniki wyszukiwania dla: K. Narayan Kumar
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
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 429-438
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 549-563