Functional approach to protocols specification

Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid. Functional approach to protocols specification. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 395-402, Chapman & Hall, 1994.

Authors

Jakub Bojanowski

This author has not been identified. Look up 'Jakub Bojanowski' in Google

Michal Iglewski

This author has not been identified. Look up 'Michal Iglewski' in Google

Jan Madey

This author has not been identified. Look up 'Jan Madey' in Google

Abdellatif Obaid

This author has not been identified. Look up 'Abdellatif Obaid' in Google