State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.

Charles A. Lakos, Lars Michael Kristensen

Browse the full ATVA paper archive.