Autor der Publikation

Wolf - Bug Hunter for Concurrent Software Using Formal Methods.

, , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 153-157. Springer, (2005)

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.

Keine Personen gefunden für den Autorennamen Glazberg, Ziv
Eine Person hinzufügen mit dem Namen Glazberg, Ziv
 

Weitere Publikationen von Autoren mit dem selben Namen

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States., , , , und . Haifa Verification Conference, Volume 4383 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2006)Formal verification of concurrent software: two case studies., , , , , und . PADTAD, Seite 11-22. ACM, (2006)Wolf - Bug Hunter for Concurrent Software Using Formal Methods., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 153-157. Springer, (2005)Detecting Design Flaws in UML State Charts for Embedded Software., , , , , , , und . Haifa Verification Conference, Volume 4383 von Lecture Notes in Computer Science, Seite 109-121. Springer, (2006)