Search results for: Walter Dosch
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods > 7-33
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods and Tools > 1-18
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 241-254
Lecture Notes in Computer Science
Lecture Notes in Electrical Engineering > Proceedings of the European Computing Conference > Part 6: Information communication technologies > 651-661
Electronic Notes in Theoretical Computer Science > 2005 > 141 > 5 > 69-95