Sharon Barner (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Sharon Barner, Orna Grumberg: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Formal Methods in System Design 27(1-2): 29-66 (2005)
2		Sharon Barner, Orna Grumberg: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. CAV 2002: 93-106

Selection of 2 from 7 records - Sharon Barner has 10 coauthors