( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implication-Based Approximating Bounded Model Checking.

, , , и . FSEN, том 4767 из Lecture Notes in Computer Science, стр. 350-363. Springer, (2007)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

Другие публикации лиц с тем же именем

A Robust Incentive Consensus Propagation Design for Consortium-Chain Based Wireless Network., , , и . ICC Workshops, стр. 1-6. IEEE, (2020)Deep-Reinforcement-Learning-Based Latency Minimization in Edge Intelligence Over Vehicular Networks., , , , , и . IEEE Internet Things J., 9 (2): 1300-1312 (2022)Uncertainty measurement based on general relation., , , , и . ACC, стр. 3650-3653. IEEE, (2008)Two operators in rough set theory., , , и . CDC, стр. 2148-2152. IEEE, (2007)Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System., и . AINA Workshops (1), стр. 583-589. IEEE Computer Society, (2007)On the Provable Generalization of Recurrent Neural Networks., , , и . NeurIPS, стр. 20258-20269. (2021)Implication-Based Approximating Bounded Model Checking., , , и . FSEN, том 4767 из Lecture Notes in Computer Science, стр. 350-363. Springer, (2007)Transformation of BPEL Processes to Petri Nets., , и . TASE, стр. 166-173. IEEE Computer Society, (2008)Input Structure Design for Structural Controllability of Complex Networks., , , , и . IEEE CAA J. Autom. Sinica, 10 (7): 1571-1581 (2023)A Novel Method for Formally Detecting RFID Event Using Petri Nets., , , , , и . SEKE, стр. 122-125. Knowledge Systems Institute Graduate School, (2011)