Vol-1634⫷ Vol-1635 ⫸Vol-1636
urn:nbn:de:0074-1635-0


Vol-1635/paper-06⫷Vol-1635/paper-07⫸Vol-1635/paper-08
Daniel Le BerreTiago de LimaValentin MontmirailJean-Marie Lagniez

On Checking Kripke Models for Modal Logic K