TY  - BOOK
AU  - Parker,K.R.
AU  - Rose,G.A.
ED  - IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
TI  - Formal description techniques, IV: proceedings of IFIP TC6/WG6.1...FORTE'91, Sydney, 19-22 Nov. 1991
PY  - 1992///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
KW  - Formal languages
ER  -