A Specification and Verifiaction Tool for Communication Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Harbans Kaur, James Brown Grier, Graham Campbell. A Specification and Verifiaction Tool for Communication Protocols. In Naveed A. Sherwani, Elise de Doncker, John A. Kapenga, editors, Computing in the 90 s, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings. Volume 507 of Lecture Notes in Computer Science, pages 234-241, Springer, 1989.

This author has not been identified. Look up 'Harbans Kaur' in GoogleThis author has not been identified. Look up 'James Brown Grier' in GoogleThis author has not been identified. Look up 'Graham Campbell' in Google

runs on WebDSL