The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer. The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. Electronic Notes in Theoretical Computer Science, 231:277-292, 2009. [doi]

This author has not been identified. Look up 'Michael Bauland' in GoogleThis author has not been identified. Look up 'Martin Mundhenk' in GoogleThis author has not been identified. Look up 'Thomas Schneider' in GoogleThis author has not been identified. Look up 'Henning Schnoor' in GoogleThis author has not been identified. Look up 'Ilka Schnoor' in GoogleThis author has not been identified. Look up 'Heribert Vollmer' in Google

runs on WebDSL