( en | de | ru )

 

Disambiguierung von "Bustan, Doron"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Resets vs. Aborts in Linear Temporal Logic.

, , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Doron Lahav

Doron Merkler

tefan Dorondel

Guy Doron

Doron Smadar

 

Weitere Publikationen von Autoren mit dem selben Namen

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