Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /

Bibliographic Details
Corporate Authors:	FORTE 2003 Berlin, Germany, SpringerLink (Online service)
Other Authors:	König, Hartmut, Prof. Dr.-Ing. habil, Heiner, Monika, 1954-, Wolisz, Adam
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science ; 2767.
Subjects:	Formal methods (Computer science) > Congresses. Electronic data processing > Distributed processing > Congresses. Computer network protocols > Congresses. Méthodes formelles (Informatique) > Congrès. Protocoles de réseaux d'ordinateurs > Congrès. Traitement réparti > Congrès. Computer network protocols. Electronic data processing > Distributed processing. Formal methods (Computer science) Computernetwerken. Systeembeheer. Méthode formelle. Informatique répartie. Protocole de réseau d'ordinateurs. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2767

Remote Storage