Search results for: Girish Bhat
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 107-126
The Russian Review > 72 > 4 > 622 - 646
Annals of Software Engineering > 1999 > 7 > 1-4 > 127-155
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 107-126
The Russian Review > 72 > 4 > 622 - 646
Annals of Software Engineering > 1999 > 7 > 1-4 > 127-155