Konig, Hartmut,,Heiner, Monika,,Wolisz, Adam..Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September/October 2003, proceedings /.Springer,,2003..
Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September/October 2003, proceedings /
