( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An interleaving model for real-time.

, , и . Jerusalem Conference on Information Technology, стр. 717-730. IEEE Computer Society, (1990)

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

Zohar Jacob

Enzo Manna

Stefano Manna

 

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

Fixed Point Iteration for Computing the Time Elapse Operator., , и . HSCC, том 3927 из Lecture Notes in Computer Science, стр. 537-551. Springer, (2006)Recursive definitions of partial functions and their computations., и . Proving Assertions About Programs, стр. 58-65. ACM, (1972)The Temporal Logic of Branching Time., , и . Acta Informatica, (1983)The anchored version of the temporal framework., и . REX Workshop, том 354 из Lecture Notes in Computer Science, стр. 201-284. Springer, (1988)An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems., , , , , , , и . Tool Support for System Specification, Development and Verification, стр. 174-188. Springer, (1998)Towards Deductive Synthesis of Dataflow Networks, , и . LICS, стр. 26-37. IEEE Computer Society, (1986)The Reaction Algebra: A Formal Language for Event Correlation., , , и . Pillars of Computer Science, том 4800 из Lecture Notes in Computer Science, стр. 596-619. Springer, (2008)An interleaving model for real-time., , и . Jerusalem Conference on Information Technology, стр. 717-730. IEEE Computer Society, (1990)The Temporal Logic of Reactive and Concurrent Systems, и . Springer-Verlag, New York, USA, (1992)Logics of Programs.. IFIP Congress, стр. 41-51. (1980)