Sharon Shoham (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

14 Harald Fecher, Sharon Shoham: State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113

8 Harald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23

Selection of 2 from 15 records - Sharon Shoham has 9 coauthors

14		Harald Fecher, Sharon Shoham: State Focusing: Lazy Abstraction for the Mu-Calculus. SPIN 2008: 95-113
8		Harald Fecher, Sharon Shoham: Local Abstraction-Refinement for the mu-Calculus. SPIN 2007: 4-23