Home › Authors › Swen Jacobs 👤 Swen Jacobs 1 book Books by Swen Jacobs Decidability of Parameterized Decidability of Parameterized Verification 2015