Home › Authors › Ayrat Khalimov 👤 Ayrat Khalimov 1 book Books by Ayrat Khalimov Decidability of Parameterized Decidability of Parameterized Verification 2015