Formal Techniques for Networked and Distributed Systems - FORTE 2003FORTE 2003 (2003 Berlin, Germany)₹4,268
