Evaluating LTL satisfiability solvers (2011)

by V Schuppan, L Darmawan
Venue:In ATVA’11, volume 6996 of LNCS