中图分类法:	TP393-532 版次：
题名:	Formal techniques for networked and distributed systems - FORTE 2003 : [ 23rd IFIP WG 6.1 international conference, Berlin, Germany, September/October 2003, proceedings /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2003.
载体形态:	xii, 429 p. : ill. ; 24 cm.
主题词:	Formal methods (Computer science)
主题词:	Electronic data processing Distributed processing
主题词:	Computer network protocols
主要责任者:	Konig, Hartmut,
主要责任者:	Heiner, Monika,
主要责任者:	Wolisz, Adam.