Agnieszka Zbrzezny, Andrzej Zbrzezny. A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL. In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 293-300, CEUR-WS.org, 2014. [doi]
Abstract is missing.