Decidability of Parameterized Verification

By clibrary on Mon, 06/23/2025 - 19:43
Author

Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing

Year

2015

ISBN

9783031020117

URL
https://doi.org/10.1007/978-3-031-02011-7