Four Logics and a Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power. Four Logics and a Protocol. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.

This author has not been identified. Look up 'David Gray' in GoogleThis author has not been identified. Look up 'Geoff Hamilton' in GoogleThis author has not been identified. Look up 'David Sinclair' in GoogleThis author has not been identified. Look up 'J. Paul Gibson' in GoogleThis author has not been identified. Look up 'James F. Power' in Google

runs on WebDSL