1
出版事項 2013
目次: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
全文の入手
電子媒体 eBook
2
出版事項 2014
目次: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
全文の入手
電子媒体 eBook