The Tractability of Model Checking for LTL: The Good, the Bad, and the Ugly Fragments MICHAEL BAULAND Knipp GmbH, Germany MARTIN MUNDHENK Universit¨at Jena, Germany

First Page		Document Content
		The Tractability of Model Checking for LTL: The Good, the Bad, and the Ugly Fragments MICHAEL BAULAND Knipp GmbH, Germany MARTIN MUNDHENK Universit¨at Jena, Germany Add to Reading List Source URL: tocl.acm.org Download Document from Source Website File Size: 434,66 KB Share Document on Facebook