Formal techniques for networked and distributed systems, FORTE 2005
Subtitle: 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
By: Farn Wang (ed.).
Contributors: Wang, Farn.; LINK (Online service)
Series: Lecture notes in computer science -- 3731.
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Format: Electronic resource
Number of pages: 558
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses.
Other titles: FORTE 2005.
Notes: Title from title screen (viewed October 26, 2005)

Electronic book available via Springer Link.

Print version originally published in 2005.

Includes bibliographical references and index.

Access restricted to subscribing institutions.

Print version also available.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat required to view PDF document.