Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /

Bibliographic Details
Corporate Authors:	FORTE 2002 Houston, Tex., SpringerLink (Online service)
Other Authors:	Peled, Doron A., 1962-, Vardi, Moshe Y.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2002.
Series:	Lecture notes in computer science ; 2529.
Subjects:	Formal methods (Computer science) > Congresses. Electronic data processing > Distributed processing > Congresses. Computer network protocols > Congresses. Computer network protocols. Electronic data processing > Distributed processing. Formal methods (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online