Search results for: A. Prasad Sistla
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 222-236
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 324-335
Lecture Notes in Computer Science > Advances in Spatial and Temporal Databases > Moving Objects and Mobile Environments > 346-363
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 294-308
Lecture Notes in Computer Science > Computer Aided Verification > Verification Core Technology > 91-103
Lecture Notes in Computer Science > Database Theory — ICDT’99 > Concurrency and Distribution > 169-186
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 68-82
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 105-119