Pages that link to "Item:Q1680557"
From MaRDI portal
The following pages link to Formalization of fractional order PD control systems in HOL4 (Q1680557):
Displayed 1 item.
The following pages link to Formalization of fractional order PD control systems in HOL4 (Q1680557):
Displayed 1 item.