Formal Techniques for Networked and Distributed Systems
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Cleveland
Language: eng
Format: Electronic resource