[MathWorks, 2000b] The MathWorks (2000b). Using Matlab v6. [McMillan, 1993] McMillan, K.L.(1993). Symbolic Model Checking. Kluwer Academic Publishers ...
確定! 回上一頁