Formal techniques for networked and distributed systems--FORTE 2002
Subtitle: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
By: Doron A. Peled, Moshe Y. Vardi (eds.)
Contributors: Peled, Doron, 1962-; Vardi, Moshe Y
Series: Lecture notes in computer science -- 2529
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 368
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index

Also available via the World Wide Web