[Back]


Talks and Poster Presentations (with Proceedings-Entry):
B. Aminof, S. Rubin:
"Model Checking Parameterised Multi-token Systems via the Composition Method";
Talk: IJCAR, Coimbra; 2016-06-27 - 2016-07-02; in: "IJCAR", LNCS/Springer, 8562 (2016), ISBN: 978-3-319-08587-6; 499 - 515.

Created from the Publication Database of the Vienna University of Technology.