Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	FORTE 2005 Taipei, Taiwan, IFIP Working Group 6.1, SpringerLink (Online service)
Other Authors:	Wang, Farn
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science. 3731.
Subjects:	Computer network protocols > Congresses. Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Méthodes formelles (Informatique) > Congrès. Protocoles de réseaux d'ordinateurs > Congrès. Traitement réparti > Congrès. Méthode formelle. Model-checking (Informatique) Protocole de réseau d'ordinateurs. Réseau distribué. Electronic books.
Online Access:	Connect to the full text of this electronic book

Published 2005

Connect to the full text of this electronic book

Conference Proceeding Book