Zbrzezny AM. Comparing sat-based bounded model checking rtectl and ectl properties. ts [Internet]. 2017 Mar. 21 [cited 2024 May 5];20(2):131-47. Available from: https://czasopisma.uwm.edu.pl/index.php/ts/article/view/5147