( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Complete Rule for Equifair Termination.

, , и . J. Comput. Syst. Sci., 33 (3): 313-332 (1986)

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.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

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

Verification of the Futurebus+ Cache Coherence Protocol., , , , , , и . CHDL, том A-32 из IFIP Transactions, стр. 15-30. North-Holland, (1993)Simulation-based minimazation., и . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)Model Checking, , и . The MIT Press, (1999)Model checking, , и . MIT Press, Cambridge, Mass., (1999)Hybrid BDD and All-SAT Method for Model Checking., , и . Languages: From Formal to Natural, том 5533 из Lecture Notes in Computer Science, стр. 228-244. Springer, (2009)Reasoning About Networks With Many Identical Finite-State Processes., , и . PODC, стр. 240-248. ACM, (1986)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , и . Formal Methods Syst. Des., 35 (1): 6-39 (2009)The 2008 CAV Award citation., , , и . Formal Methods Syst. Des., 35 (1): 4-5 (2009)A work-efficient distributed algorithm for reachability analysis., , и . Formal Methods Syst. Des., 29 (2): 157-175 (2006)A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement., и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 275-287. Springer, (2003)