( en | de | ru )

 

Disambiguierung von "Manna, Zohar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Visual Verification of Reactive Systems.

, , , und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 334-350. Springer, (1997)

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

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)The Synthesis of Structure Changing Programs., und . ICSE, Seite 175-187. IEEE Computer Society, (1978)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 Temporal Logic of Branching Time., , und . POPL, Seite 164-176. ACM Press, (1981)Program Schemas with Equality, und . STOC, Seite 52-64. ACM, (1972)The Optimal Approach to Recursive Programs., und . Commun. ACM, 20 (11): 824-831 (1977)Logical Analysis of Programs., und . Commun. ACM, 19 (4): 188-206 (1976)The Translation of 'Go To' Programs to 'While' Programs., und . IFIP Congress (1), Seite 250-255. North-Holland, (1971)