Inferring Synchronization under Limited Observability.

Martin T. Vechev, Eran Yahav, Greta Yorsh

Browse the full TACAS paper archive.