Leucker Martin (
search by name in IS MU
/auth
)
Body na spoluautora
Body za publikaci pro MU
Odkaz ISVaV
0,00
0,00
DivSPIN - A SPIN compatible distributed model checker
4,82
14,45
Parallel Model Checking and the FMICS-jETI Platform
Back
(c) Michal Bulant, 2011