1
Argitaratua 2013
Aurkibidea: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2014
Aurkibidea: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
Testu osoa
Baliabide elektronikoa eBook