Search results for: S. Jha
Lecture Notes in Computer Science > Managing Traffic Performance in Converged Networks > Invited Presentations > 5-5
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking 2 > 293-309