Bisimulation by Partitioning Is Ω((m+n)log n). | 0 | 0.34 | 2021 |
Family-Based SPL Model Checking Using Parity Games with Variability. | 0 | 0.34 | 2020 |
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | 0 | 0.34 | 2019 |
Family-Based Model Checking with mCRL2. | 0 | 0.34 | 2017 |
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. | 0 | 0.34 | 2017 |