Synthesis of Greedy Algorithms Using Dominance Relations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Srinivas Nedunuri, Douglas R. Smith, William R. Cook. Synthesis of Greedy Algorithms Using Dominance Relations. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 97-108, 2010.

This author has not been identified. Look up 'Srinivas Nedunuri' in GoogleThis author has not been identified. Look up 'Douglas R. Smith' in GoogleIdentified as William R. Cook

runs on WebDSL