A Heuristic for Symmetry Reductions with Scalarsets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dragan Bosnacki, Dennis Dams, Leszek Holenderski. A Heuristic for Symmetry Reductions with Scalarsets. In José Nuno Oliveira, Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Volume 2021 of Lecture Notes in Computer Science, pages 518-533, Springer, 2001. [doi]

This author has not been identified. Look up 'Dragan Bosnacki' in GoogleThis author has not been identified. Look up 'Dennis Dams' in GoogleThis author has not been identified. Look up 'Leszek Holenderski' in Google

runs on WebDSL