Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland. CTL Model Checking with the Sweep-line State Space Exploration Method. In 30th Norsk Informatikkonferanse, NIK 2017, Westerdals Oslo ACT, Oslo, Norway, November 27-29, 2017. Bibsys Open Journal Systems, Norway, 2017. [doi]
Abstract is missing.