Search results for: Jürgen Bohn
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 216-237
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 609-628
Lecture Notes in Computer Science > Ambient Intelligence > Ubiquitous Computing: Software Architectures, Communication, and Distribution > 1-12
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 7 > 283-294
Lecture Notes in Computer Science > Architecture of Computing Systems - ARCS 2006 > Pervasive Computing > 69-83
Personal and Ubiquitous Computing > 2008 > 12 > 2 > 155-166
Personal and Ubiquitous Computing > 2007 > 11 > 6 > 417-428