Unrealizable Cores for Reactive Systems Specifications.

Shahar Maoz, Rafi Shalom

Browse the full ICSE paper archive.