Formal Techniques for Networked and Distributed Systems - FORTE 2006 - Veronique Viguie Donzeau-Gouge - E-bok | Bokus