Monika Heiner profile picture

Monika Heiner

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003