Decidability of Parameterized VerificationAyrat Kalimov, Swen Jacobs og 2 andrePocketEngelskDel av serien Synthesis Lectures on Distributed Computing TheoryLegg i handlekurvNettlager