Bloem, roderick & khalimov, Ayrat & jacobs, Swen [et al.]

Decidability of Parameterized Verification. - Springer Verlag, 2022. - ( Synthesis Lectures on Distributed Computing Theory ).

  1. Cote: 24945. En rayon: classement par auteur.