( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Handling Global Conditions in Parameterized System Verification.

, , , и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 134-145. Springer, (1999)

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.

Ahmed Fattah Ahmed Ahmed

Hassan cheikh Ahmed

Mohamed Aly Ahmed

Ejaz Ahmed

Yasar Luqman Ahmed

 

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

Verification of Infinite State Systems (Tutorial).. CSL, том 2803 из Lecture Notes in Computer Science, стр. 71. Springer, (2003)Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol., , и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 208-222. Springer, (1999)Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems., , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 419-434. Springer, (2000)On the verification problem for weak memory models., , , и . POPL, стр. 7-18. ACM, (2010)Computing Simulations over Tree Automata., , , , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 93-108. Springer, (2008)Varda: A Framework for Compositional Distributed Programming., , и . NETYS, том 13464 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2022)Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures., , и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 207-220. Springer, (2007)Reachability Analysis of Pushdown Automata: Application to Model-Checking., , и . CONCUR, том 1243 из Lecture Notes in Computer Science, стр. 135-150. Springer, (1997)Formalizing and Checking Multilevel Consistency., , , , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 379-400. Springer, (2020)Reachability Analysis of Synchronized PA Systems., , и . INFINITY, том 138 из Electronic Notes in Theoretical Computer Science, стр. 153-178. Elsevier, (2004)