Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /

Saved in:

Bibliographic Details
Main Author:	Doldi, L.
Corporate Author:	Internat. conf. for distributed systems and communications protocols - FORTE '92 France, Perros-Guirec
Other Authors:	Diaz, M. (Editor), Groz, R.
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam : North-Holland Publishing, 1993
Edition:	[1st ed.]
Series:	IFIP transactions C : Communication systems C-10
Subjects:	počítačová sieť > protokol > elektronické spracúvanie údajov > LOTOS > Alcatel > overovanie > formálny jazyk
ISBN:	0444892826
ISSN:	0926-549X
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet