Weak Kripke Structures and LTL.

Lars Kuhtz, Bernd Finkbeiner

Browse the full CONCUR paper archive.