( en | de | ru )

 

Disambiguierung von "Manna, Zohar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

, , , , , , und . Formal Methods Syst. Des., 16 (3): 227-270 (2000)

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

Logics of Programs.. IFIP Congress, Seite 41-51. (1980)The Temporal Logic of Reactive and Concurrent Systems, und . Springer-Verlag, New York, USA, (1992)The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming"., und . Addison-Wesley, (1993)Visual Verification of Temporal Properties.. TIME, Seite 6. IEEE Computer Society, (1999)Formalization of Properties of Recursively Defined Functions, und . STOC, Seite 201-210. ACM, (1969)The Optimal Fixedpoint of Recursive Programs, und . STOC, Seite 194-206. ACM, (1975)A Hierarchy of Temporal Properties., und . PODC, Seite 377-410. ACM, (1990)The Evolution of Programs: A System for Automatic Program Modification., und . POPL, Seite 144-154. ACM, (1977)Temporal Verification of Reactive Systems: Response., und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 279-361. Springer, (2010)What's Decidable About Arrays?, , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 427-442. Springer, (2006)