TY  - BOOK
AU  - Bochmann, Gregor V
AU  - Dssouli, R
AU  - Rafiq, Omar
TI  - Formal description techniques VIII : proceedings of the IFIP TC6 eighth international conference on formal description techniques, Montreal, Canada, October 1995
SN  - 9780412732706
U1  - 004.62 BOU 
PY  - 1996///
CY  - London
PB  - Chapman & Hall on behalf of the Internatinal Federation for Information Processing (IFIP)
KW  - Protocol - networking
ER  -