wozna 中文意思是什麼
wozna
解釋
沃伊納-
Journal of computer science and technology, 2005, 20 : 38 - 47. 9 wozna b. actl properties and bounded model checking
1定義了ctl的有界語義,並探討了ctl的有界語義和無界語義的關系。
分享友人