Agnieszka Zbrzezny, Andrzej Zbrzezny. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking. In Claudia Schulz, Daniel Liew, editors, 2015 Imperial College Computing Student Workshop, ICCSW 2015, September 24-25, 2015, London, United Kingdom. Volume 49 of OASICS, pages 78-86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.