( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Clause Replication and Reuse in Incremental Temporal Induction.

, , , и . ICECCS, стр. 108-115. IEEE Computer Society, (2014)

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.

Lu Yin

Renfu Yin

Li Yin

Zhihong Yin

Wenbing Yin

 

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

Compiling FLres on Finite Words., , и . SETTA, том 12153 из Lecture Notes in Computer Science, стр. 108-123. Springer, (2020)Model and Practice of Crowd-Based Education., , , , и . APWeb/WAIM Workshops, том 11268 из Lecture Notes in Computer Science, стр. 293-305. Springer, (2018)Maxterm Covering for Satisfiability., , , , и . IEEE Trans. Computers, 61 (3): 420-426 (2012)On Scheduling Constraint Abstraction for Multi-Threaded Program Verification., , , и . IEEE Trans. Software Eng., 46 (5): 549-565 (2020)Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information., , и . TASE, стр. 23-26. IEEE Computer Society, (2013)Guide Fuzzing with Multi-Factor Potential Analysis., , , и . QRS Companion, стр. 477-482. IEEE, (2018)Extend Rchecker for Accurate Analysis of Real Embedded Projects., , , и . QRS Companion, стр. 256-261. IEEE, (2021)Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs., , , , и . QRS Companion, стр. 465-471. IEEE, (2020)Scheduling constraint based abstraction refinement for weak memory models., , , и . ASE, стр. 645-655. ACM, (2018)Clause Replication and Reuse in Incremental Temporal Induction., , , и . ICECCS, стр. 108-115. IEEE Computer Society, (2014)