Lilleskare, A., Kristensen, L. M., & Høyland, S.-O. (2017). CTL Model Checking with the Sweep-line State Space Exploration Method. Norsk IKT-Konferanse for Forskning Og Utdanning. Retrieved from https://www.ntnu.no/ojs/index.php/nikt/article/view/5320