Vol-4116⫷ Vol-4117 ⫸Vol-4118
urn:nbn:de:0074-4117-0


Vol-4117/LPLR2025_paper_2⫷Vol-4117/LPLR2025_short_1⫸Vol-4117/CARLA2025_short_1
Luca PasettoChristoph Benzmüller

Visualizing Kripke Models in LogiKEy: the Case of SDL