Weak Kripke structures and LTL (2011)

by Lars Kuhtz, Bernd Finkbeiner
Venue:IN: PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY