QEST '09. ... QEST 2006. ... 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585–591. Springer, 2011. [24].
確定! 回上一頁