The following pages link to William N. N. Hung (Q364475):
Displaying 10 items.
- A transformation-based approach to implication of GSTE assertion graphs (Q364478) (← links)
- Exploring structural symmetry automatically in symbolic trajectory evaluation (Q453494) (← links)
- A multipartite entanglement measure based on coefficient matrices (Q496912) (← links)
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL (Q541222) (← links)
- Realization and synthesis of reversible functions (Q633699) (← links)
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- A novel fault diagnosis mechanism for wireless sensor networks (Q646093) (← links)
- Synthesis of reversible circuits with minimal costs (Q734115) (← links)
- Minimal universal library for \(n\times n\) reversible circuits (Q950038) (← links)
- Majority-based reversible logic gates (Q1779304) (← links)
