Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 /

Bibliographic Details
Corporate Author:	IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Perros-Guirec, France
Other Authors:	Diaz, Michel, 1945-, Groz, Roland
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland, 1993.
Series:	IFIP transactions. Communication systems. C-10.
Subjects:	Electronic data processing > Distributed processing > Congresses. Computer network protocols > Congresses. Formal languages > Congresses.

Remote Storage