|
СТ |
Localizing Program Errors for Cimple Debugging |
2004 |
Basu S., Saha D., Smolka S. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Compositional Analysis for Verification of Parameterized Systems |
2003 |
Basu S., Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Performance Evaluation of Transcoding-Enabled Streaming Media Caching System |
2002 |
Shen B., Lee S. -J., Basu S. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Resource-Constrained Model Checking of Recursive Programs |
2002 |
Basu S., Kumar K. N., Pokorny L. R., Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
