( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Distributed Explicit State Model Checking of Deadlock Freedom.

, , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 235-241. Springer, (2013)

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.

Bingham Tembe

Karsten Bingham

Mark Bingham

Bingham Tembe

Ella Bingham

 

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

Automatic Non-Interference Lemmas for Parameterized Model Checking.. FMCAD, стр. 1-8. IEEE, (2008)Industrial strength refinement checking., , , и . FMCAD, стр. 180-183. IEEE, (2009)Verifiable hierarchical protocols with network invariants on parametric systems., , и . FMCAD, стр. 101-108. IEEE, (2016)Toward a decidable notion of sequential consistency., , и . SPAA, стр. 304-313. ACM, (2003)An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures., , и . VMCAI, том 4349 из Lecture Notes in Computer Science, стр. 106-121. Springer, (2007)Hybrid one-dimensional reversible cellular automata are regular., и . Discret. Appl. Math., 155 (18): 2555-2566 (2007)Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings., и . PDPTA, CSREA Press, (2000)Parameterized verification of deadlock freedom in symmetric cache coherence protocols., , и . FMCAD, стр. 186-195. FMCAD Inc., (2011)Empirically Efficient Verification for a Class of Infinite-State Systems., и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 77-92. Springer, (2005)Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values., , , , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 427-439. Springer, (2004)