C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem, D Probst. Formal methods in system design 6 (1), 11-44, 1995. 534, 1995.
確定! 回上一頁