Search results for: Andreas Grüner
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 218-232
Journal of Logic and Algebraic Programming > 2009 > 78 > 7 > 491-518
Software & Systems Modeling > 2008 > 7 > 2 > 177-208
Theory of Computing Systems > 2008 > 43 > 3-4 > 322-361