Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Farn Wang - E-bok | Bokus