Back to Results
First PageMeta 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

Open Document

File Size: 434,66 KB

Share Result on Facebook

City

Hannover / /

Company

3SAT / ACM Inc. / MICHAEL BAULAND Knipp GmbH / /

Country

Germany / /

Currency

USD / LTL / /

Facility

Germany THOMAS SCHNEIDER University of Manchester / /

IndustryTerm

concurrent systems / cryptographic protocols / copyright/server / important tool / algebraic tools / /

MarketIndex

next / /

Organization

University of Manchester / National Park Service / German Academic Exchange Service / NL NP / /

Person

HENNING SCHNOOR / ILKA SCHNOOR / MARTIN MUNDHENK / Kripke / /

Position

General / Mechanical Verification General / lattice Author / /

Product

PS3 / Hannover / /

Technology

PSPACE algorithm / /

SocialTag