Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)

Tatiana Rybina, Andrei Voronkov, Matthias Baaz (Editor), Johann A Makowsky (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this