Formal techniques for networked and distributed systems--FORTE 2008
Subtitle: 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings
By: Kenji Suzuki ... [et al.] (eds.).
Contributors: Suzuki, Kenji, Dr. Eng.
Series: Lecture notes in computer science -- 5048
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 339
ISBN-13: 9783540688549
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.