Pages that link to "Item:Q636561"

The following pages link to Anping He (Q636561):

Displaying 4 items.

• Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
• Formal proof of a machine closed theorem in Coq (Q1714805) (← links)
• Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
• Automata-based analysis of stage suspended boom systems (Q2375655) (← links)