Eran Yahav, and Greta Yorsh. Inferring synchronization under limited observability (2009)

by Martin T Vechev
Venue:In TACAS