Search results for: James C. Browne
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Case Studies > 318-332
Lecture Notes in Computer Science > Coordination Models and Languages > Contributed Papers > 216-231
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tool Demonstrations > 331-335
Lecture Notes in Computer Science > Computational Science – ICCS 2005 > Programming Techniques > 347-354
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Checking and Analysis > 324-338
Lecture Notes in Computer Science > Gl-4.Jahrestagung > 386-395
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model and Program Analysis > 64-79
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Analysis and Testing > 325-340
Lecture Notes in Computer Science > High Performance Computing – HiPC 2005 > Keynote Addresses > 2-3
Computing in Science & Engineering > 2015 > 17 > 4 > 52 - 62