Model Checking Parameterised Multi-token Systems via the Composition Method.

Benjamin Aminof, Sasha Rubin

Browse the full CADE paper archive.