Cited By
View all- Siirtola AHeljanko K(2020)An optimal cut-off algorithm for parameterised refinement checkingScience of Computer Programming10.1016/j.scico.2020.102517198(102517)Online publication date: Oct-2020
- Xu MJin ZZhang FCui F(2020)Information Flow-Based Security Construction for Compositional Interface AutomataTrusted Computing and Information Security10.1007/978-981-15-3418-8_3(31-43)Online publication date: 20-Feb-2020
- Siirtola AHeljanko K(2018)Dynamic Cut-Off Algorithm for Parameterised Refinement CheckingFormal Aspects of Component Software10.1007/978-3-030-02146-7_13(256-276)Online publication date: 5-Oct-2018
- Show More Cited By