( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Resets vs. Aborts in Linear Temporal Logic.

, , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 65-80. Springer, (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.

Doron Lahav

Doron Merkler

tefan Dorondel

Guy Doron

Doron Smadar

 

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

Resets vs. Aborts in Linear Temporal Logic., , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 65-80. Springer, (2003)Simulation-based minimazation., и . ACM Trans. Comput. Log., 4 (2): 181-206 (2003)Verifying omega-Regular Properties of Markov Chains., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 189-201. Springer, (2004)Some Complexity Results for SystemVerilog Assertions., и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 205-218. Springer, (2006)Simulation Based Minimization., и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 255-270. Springer, (2000)Equivalence-based reductions and checking for preorders.. Technion - Israel Institute of Technology, Israel, (2002)A compositional theory for post-reboot observational equivalence checking of hardware., , и . FMCAD, стр. 136-143. IEEE, (2009)Applicability of Fair Simulation., и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 401-414. Springer, (2002)A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy., , и . STACS, том 2996 из Lecture Notes in Computer Science, стр. 522-533. Springer, (2004)Regular Vacuity., , , , и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 191-206. Springer, (2005)