Toggle navigation
CU Scholar
University Libraries
Alterar idioma
Português do Brasil
Alterar idioma
Deutsch
English
Español
Français
Italiano
Português do Brasil
中文
Entrar
Página Principal
Sobre
Ajuda
Contato
Pesquisar Hyrax
Ir
Página Principal
Citation Formats
MLA
Ravanbakhsh, Hadi.
Inductive Certificate Synthesis for Control Design.
APA
Ravanbakhsh, H.
Inductive Certificate Synthesis for Control Design.
Chicago
Ravanbakhsh, Hadi.
Inductive Certificate Synthesis for Control Design.