The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sa ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 136-141, IEEE, 2008. [doi]

This author has not been identified. Look up 'Sa ed Abed' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Ghiath Al Sammane' in Google

runs on WebDSL