Igor KonnovBooksDecidability of Parameterized VerificationCombined Relaxation Methods for Variational InequalitiesEquilibrium Models and Variational Inequalities, Volume 210 (Mathematics in Science and Engineering) (Mathematics in Science and Engineering)Equilibrium Models and Variational InequalitiesAuthor data: Open Library