Formal techniques for networked and distributed systems--FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /

Bibliographic Details
Corporate Authors:	FORTE 2008 Tokyo, Japan, SpringerLink (Online service)
Other Authors:	Suzuki, Kenji (Professor of engineering)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2008]
Series:	Lecture notes in computer science. 5048.
Subjects:	Computer network protocols > Congresses. Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online