中图分类法:	TP393-532 版次：
题名:	Formal techniques for networked and distributed systems--FORTE 2002 : [ 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /] / ,
其它题名:	FORTE 2002.
其它题名:	22nd IFIP WG 6.1 international conference.
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2002.
载体形态:	xi, 368 p. : ill. ; 24 cm.
主题词:	Formal methods (Computer science)
主题词:	Electronic data processing Distributed processing
主题词:	Computer network protocols
主要责任者:	Peled, Doron,
主要责任者:	Vardi, Moshe Y.