2013-08-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/706461建立一個大規模的小型Buchi自動機及其等價時序邏輯式之收集