TY - BOOK ID - 145893461 TI - Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 - October 2, 2003, proceedings AU - König, Hartmut AU - Heiner, Monika AU - Wolisz, Adam PY - 2003 PB - Berlin : Springer, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145893461 AB - ER -