... of time-bounded until formulae in the temporal stochastic logic CSL. ... with other related terms which are sometimes used as a synonym for. variables, ...
確定! 回上一頁