Detecting Unrealizable Specifications of Distributed Systems.

Bernd Finkbeiner, Leander Tentrup

Browse the full TACAS paper archive.