1
出版 2013
书本目录: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
获取全文
电子 电子书
2
出版 2014
书本目录: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
获取全文
电子 电子书