FORTE 2003 (2003 Berlin, Germany) profile picture

FORTE 2003 (2003 Berlin, Germany)

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

Stand Alone

Formal techniques for networked and distributed systems, FORTE 2003
Formal techniques for networked and distributed systems, FORTE 2003: 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003, proceedings