Switss: Computing Small Witnessing Subsystems

Download PDF
Open Webpage

Simon Jantsch, Hans Harder, Florian Funke, Christel Baier

Published: 01 Jan 2020, Last Modified: 15 May 2025FMCAD 2020EveryoneRevisionsBibTeXCC BY-SA 4.0