Formal Techniques for Networked and Distributed Systems - Forte 2006
Publisher: Springer
Published: Aug 31, 2008
Format: paperback
ISBN-13: 9783540831129