LILLESKARE, A.; KRISTENSEN, L. M.; HØYLAND, S.-O. CTL Model Checking with the Sweep-line State Space Exploration Method. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2017. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5320. Acesso em: 21 nov. 2024.