( en | de | ru )

 

Disambiguation

From post

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

, и . J. Comput. Syst. Sci., 32 (2): 183-221 (1986)

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.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

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

The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , и 2 other автор(ы). TACAS, том 2280 из Lecture Notes in Computer Science, стр. 296-211. Springer, (2002)Model Checking Linear Properties of Prefix-Recognizable Systems., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 371-385. Springer, (2002)An Automata-Theoretic Approach to Fair Realizability and Synthesis.. CAV, том 939 из Lecture Notes in Computer Science, стр. 267-278. Springer, (1995)View-Based Query Answering and Query Containment over Semistructured Data., , , и . DBPL, том 2397 из Lecture Notes in Computer Science, стр. 40-61. Springer, (2001)Improved Automata Generation for Linear Temporal Logic., , и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 249-260. Springer, (1999)Temporal Property Verification as a Program Analysis Task., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 333-348. Springer, (2011)The Weakness of Self-Complementation., и . STACS, том 1563 из Lecture Notes in Computer Science, стр. 455-466. Springer, (1999)Open Implication., , , и . ICALP (2), том 5126 из Lecture Notes in Computer Science, стр. 361-372. Springer, (2008)Reasoning about The Past with Two-Way Automata.. ICALP, том 1443 из Lecture Notes in Computer Science, стр. 628-641. Springer, (1998)Logic and Automata: A Match Made in Heaven.. ICALP, том 2719 из Lecture Notes in Computer Science, стр. 64-65. Springer, (2003)