( en | de | ru )

 

Disambiguation of "Hung, William N. N."

Author of the publication

copydeleteadd this publication to your clipboard
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.

, , , and . Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 242-246. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

N Walz

 

Other publications of authors with the same name

A comparative study on search strategies for cell assignments., , , and . Int. J. Comput. Math., 81 (7): 901-908 (2004)Segmented channel routing with pin rearrangements via satisfiability., , , , and . ISCAS (6), page 6248-6251. IEEE, (2005)Temporal Coverage Analysis for Dynamic Verification., , , , and . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)Implication of assertion graphs in GSTE., , , and . ASP-DAC, page 1060-1063. ACM Press, (2005)Sequential dependency and reliability analysis of embedded systems., , , , , and . ASP-DAC, page 423-428. IEEE, (2013)Verification and Implementation of the Protocol Standard in Train Control System., , , , , and . COMPSAC, page 549-558. IEEE Computer Society, (2013)An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion., , , , and . Clust. Comput., 22 (Supplement): 7491-7506 (2019)A Constructive Algorithm for Reversible Logic Synthesis., , , , and . IEEE Congress on Evolutionary Computation, page 2416-2421. IEEE, (2006)On data address computation for embedded DSP systems., and . ISCAS (4), page 532-535. IEEE, (2002)Domain-Driven Probabilistic Analysis of Programmable Logic Controllers., , , , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)