Report - Верификация параллельных и распределенных программных систем, весна 2012: Model checking: новый метод верификации

Please pass captcha verification before submit form