Parameterized Model Checking of Token-Passing Systems.

Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin

Browse the full VMCAI paper archive.