Publications/Manuscripts of Maximilian Claus
2015
[1] Systematic Verification of the Modal Logic Cube in Isabelle/HOL (Christoph Benzmüller, Maximilian Claus, Nik Sultana), In PxTP 2015 (Cezary Kaliszyk, Andrei Paskevich, eds.), EPTCS, volume 186, pp. 27-41, 2015. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser