Lilleskare, A., Kristensen, L. M. and Høyland, S.-O. (2017) “CTL Model Checking with the Sweep-line State Space Exploration Method”, Norsk IKT-konferanse for forskning og utdanning. Available at: https://www.ntnu.no/ojs/index.php/nikt/article/view/5320 (Accessed: 21November2024).