@article{8a014e5af5fe476ba00ed8d7ad5528a9,
title = "An optimal cut-off algorithm for parameterised refinement checking",
keywords = "Compositional verification, Parameterized systems, Cut-off, Satisfiability modulo theories, Automated verification, MODEL CHECKING, VERIFICATION, SYSTEMS, 113 Computer and information sciences",
author = "Antti Siirtola and Keijo Heljanko",
year = "2020",
month = oct,
day = "15",
doi = "10.1016/j.scico.2020.102517",
language = "English",
volume = "198",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier B.V.",
}