Report copyright - Some approximations in Model Checking and Testingmagniez/PAPIERS/glmr13.pdf · The paper focuses on approximate and randomized algorithms in model checking and model-based testing
Please pass captcha verification before submit form