( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Simulation-based minimazation.

, и . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)

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

 

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

Model checking, , и . MIT Press, Cambridge, Mass., (1999)A work-efficient distributed algorithm for reachability analysis., , и . Formal Methods Syst. Des., 29 (2): 157-175 (2006)Another Look at LTL Model Checking., , и . Formal Methods Syst. Des., 10 (1): 47-71 (1997)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)Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking., и . Formal Methods Syst. Des., 27 (1-2): 29-66 (2005)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , и . CHDL, том A-32 из IFIP Transactions, стр. 15-30. North-Holland, (1993)Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , и . Dagstuhl Reports, 6 (5): 56-71 (2016)Simulation-based minimazation., и . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)Hybrid BDD and All-SAT Method for Model Checking., , и . Languages: From Formal to Natural, том 5533 из Lecture Notes in Computer Science, стр. 228-244. Springer, (2009)