FORTE 2005 (2005 Taipei, Taiwan)

• Formal techniques for networked and distributed systems, FORTE 2005