( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
General Decidability Theorems for Infinite-State Systems.

, , , и . LICS, стр. 313-321. IEEE Computer Society, (1996)

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.

Walied Abdulla

Abdulla Amin

Walied Abdulla

Abdulla Aschtari

Abdulla Abed

 

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

Comparing the Expressive Power of Well-Structured Transition Systems., , и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2007)The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO., , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 308-332. Springer, (2015)Bisimulation Minimization of Tree Automata., , и . CIAA, том 4094 из Lecture Notes in Computer Science, стр. 173-185. Springer, (2006)Effective Lossy Queue Languages., , и . ICALP, том 2076 из Lecture Notes in Computer Science, стр. 639-651. Springer, (2001)On the Qualitative Analysis of Conformon P Systems., , и . Workshop on Membrane Computing, том 5391 из Lecture Notes in Computer Science, стр. 78-94. Springer, (2008)Decision problems in systolic circuit verification.. Uppsala University, Sweden, (1990)Verifying Networks of Timed Processes (Extended Abstract)., и . TACAS, том 1384 из Lecture Notes in Computer Science, стр. 298-312. Springer, (1998)On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels., , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 305-318. Springer, (1998)A Survey of Regular Model Checking., , , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 35-48. Springer, (2004)Chain-Free String Constraints., , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 277-293. Springer, (2019)