Aminof, B., & Rubin, S. (2016). Model Checking Parameterised Multi-token Systems via the Composition Method. In Automated Reasoning. 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings ; Olivetti, Nicola; Tiwari, Ashish. Portugal. https://doi.org/10.1007/978-3-319-40229-1_34