Vol-3310⫷ Vol-3311 ⫸Vol-3312
urn:nbn:de:0074-3311-0


Vol-3311/paper12⫷Vol-3311/paper13⫸Vol-3311/paper14
Mauro MilellaGiovanni PagliariniAndrea ParadisoIonel Eduard Stan

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction