"Improved Algorithm Complexities for Linear Temporal Logic Model Checking ..."

Katia Hristova, Yanhong A. Liu (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics