FORTE 2003 (2003 Berlin, Germany)

• Formal techniques for networked and distributed systems, FORTE 2003