Formal verification of the heavy hitter problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ghassen Helali, Sofiène Tahar, Osman Hasan. Formal verification of the heavy hitter problem. In 25th IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012, Montreal, QC, Canada, April 29 - May 2, 2012. pages 1-4, IEEE, 2012. [doi]

This author has not been identified. Look up 'Ghassen Helali' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in GoogleThis author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in Google

runs on WebDSL