( en | de | ru )

 

Disambiguierung von "Manna, Zohar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.

, , , , und . FORTE, Volume 3731 von Lecture Notes in Computer Science, Seite 159-173. 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.

Zohar Efroni

Carlo Manna

Zohar Jacob

Enzo Manna

Stefano Manna

 

Weitere Publikationen von Autoren mit dem selben Namen

Prooving Safety Properties of Hybrid Systems., , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 431-454. Springer, (1994)Verifying Balanced Trees., , und . LFCS, Volume 4514 von Lecture Notes in Computer Science, Seite 363-378. Springer, (2007)The Translation of 'Go To' Programs to 'While' Programs., und . IFIP Congress (1), Seite 250-255. North-Holland, (1971)Expressive Completeness of an Event-Pattern Reactive Programming Language, , , und . FORTE, Seite 529-532. (2005)The Synthesis of Structure Changing Programs., und . ICSE, Seite 175-187. IEEE Computer Society, (1978)Temporal Logic Programming., und . SLP, Seite 4-16. IEEE-CS, (1987)On the Faithfulness of Formal Models., und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 28-42. Springer, (1991)Mathematical Theory of Computation. McGraw-Hill Computer Science Series McGraw-Hill Kogakusha, Tokyo, (1974)Deductive Model Checking., , und . Formal Methods Syst. Des., 15 (1): 49-74 (1999)The Origin of a Binary-Search Paradigm., und . Sci. Comput. Program., 9 (1): 37-83 (1987)