Literature for Parameterized Verification


Link to the Homepage: Parameterized Verification


no image available Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat, et al.
Decidability of Parameterized Verification
Morgan & Claypool 2015