State Space Reduction Using Partial Order Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled. State Space Reduction Using Partial Order Techniques. STTT, 2(3):279-287, 1999. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. It may be one of the following persons:

Marius Minea

Look up 'Marius Minea' in GoogleThis author has not been identified. Look up 'Doron Peled' in Google

runs on WebDSL