( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Hardware Semantics Based on Temporal Intervals.

, , и . ICALP, том 154 из Lecture Notes in Computer Science, стр. 278-291. Springer, (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zohar Efroni

Carlo Manna

Enzo Manna

Zohar Jacob

Stefano Manna

 

Другие публикации лиц с тем же именем

The Temporal Logic of Reactive and Concurrent Systems, и . Springer-Verlag, New York, USA, (1992)Logics of Programs.. IFIP Congress, стр. 41-51. (1980)Visual Verification of Temporal Properties.. TIME, стр. 6. IEEE Computer Society, (1999)The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming"., и . Addison-Wesley, (1993)The Evolution of Programs: A System for Automatic Program Modification., и . POPL, стр. 144-154. ACM, (1977)A Hierarchy of Temporal Properties., и . PODC, стр. 377-410. ACM, (1990)Formalization of Properties of Recursively Defined Functions, и . STOC, стр. 201-210. ACM, (1969)The Optimal Fixedpoint of Recursive Programs, и . STOC, стр. 194-206. ACM, (1975)Temporal Verification of Reactive Systems: Response., и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 279-361. Springer, (2010)Visual Verification of Reactive Systems., , , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 334-350. Springer, (1997)