( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)

, и . STOC, стр. 446-456. ACM, (1984)

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.

Carolin Wölper

Günter Wolper

Christoph Wölper

Charlotte Nothdurft-Wölper

Pierre Venet

 

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

An effective decision procedure for linear arithmetic over the integers and reals., , и . ACM Trans. Comput. Log., 6 (3): 614-633 (2005)On (Omega-)regular model checking., и . ACM Trans. Comput. Log., 12 (1): 2:1-2:46 (2010)Handling Infinite Temporal Data., , и . J. Comput. Syst. Sci., 51 (1): 3-17 (1995)On the Construction of Automata from Linear Arithmetic Constraints., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2000)Yet Another Process Logic (Preliminary Version)., и . Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 501-512. Springer, (1983)Synthesis of Communicating Processes from Temporal Logic Specifications., и . Logic of Programs, том 131 из Lecture Notes in Computer Science, стр. 253-281. Springer, (1981)A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems., и . SPIN, том 6823 из Lecture Notes in Computer Science, стр. 144-160. Springer, (2011)Handling Infinite Temporal Data., , и . PODS, стр. 392-403. ACM Press, (1990)Realizable and Unrealizable Specifications of Reactive Systems., , и . ICALP, том 372 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1989)Constraint-Generating Dependencies., , и . PPCP, том 874 из Lecture Notes in Computer Science, стр. 205-217. Springer, (1994)