16th International Conference, CONCUR 2005, San Francisco, CA, USA, ... It can be easily proven that (q0 ,t) and (q0 ,t) agree on the same TCTLa formulae.
確定! 回上一頁