DMCA

Weak Kripke structures and LTL (2011)

Cached

Download Links

by Lars Kuhtz , Bernd Finkbeiner
Venue:IN: PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
Citations:3 - 0 self