From post

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.

 

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

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)