Model checking for flat systems and temporal logic with counting

Decker, Normann2023-08-012023-08-012021https://epub.uni-luebeck.de/handle/zhb_hl/1231en4Model checking for flat systems and temporal logic with countingthesis.doctoral1225576393174733135Xurn:nbn:de:gbv:841-20200804290