Search results for: Gul Agha
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 547-561
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Principled Domain-Specific Approaches > 324-343
Lecture Notes in Computer Science > Professional Knowledge Management > Keynote Contributions > 19-31
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 316-329
Lecture Notes in Computer Science > Software Engineering for Multi-Agent Systems III > Dependability and Coordination > 236-253
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 494-505
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Validation and Verification > 339-356
Lecture Notes in Computer Science > Object-Based Models and Languages for Concurrent Systems > 107-124
Lecture Notes in Computer Science > Object-Oriented Technology: ECOOP’98 Workshop Reader > 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations > 306-306
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops > 32-33
Lecture Notes in Computer Science > Massively Multi-Agent Systems I > Massively Multi-agent Technology > 25-39
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 260-275
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing and Debugging > 308-322
Lecture Notes in Computer Science > CONCUR '92 > 565-579
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Analysis of Java Programs > 211-226
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing > 123-138
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Quantitative Techniques > 394-410