Normal view
MARC view
- Kalimov, Ayrat
Kalimov, Ayrat (Nombre personal)
Decidability of Parameterized Verification, 2015