Search results for: Uwe Nestmann
Lecture Notes in Computer Science > Global Computing > 250-265
Lecture Notes in Computer Science > Euro-Par’99 Parallel Processing > Topic 17 > 1353-1368
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 198-212
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 54-71
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 6: Hybrid Systems > 301-316
Lecture Notes in Computer Science > Dependable Systems: Software, Computing, Networks > Dependable Computing > 172-194
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 287-303
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Aliasing Models for Mobile Objects > 390-408
Lecture Notes in Computer Science
Discrete Event Dynamic Systems > 2016 > 26 > 1 > 5-32