2024-05-182024-05-1814797https://scholars.lib.ntu.edu.tw/handle/123456789/716809Logic and System SynthesisFormal VerificationQuantum ComputationComputation Models of Biochemical Systems邏輯與系統合成正規驗證量子計算生化系統計算模型