%0 Journal Article
%T Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
%A Zhao, Chunna
%A Jiang, Murong
%A Huang, Yaqun
%J Fractal and Fractional
%V 6
%N 9
%@ 2504-3110
%D 2022-08-30
%I Multidisciplinary Digital Publishing Institute
%~ DeepDyve