( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).

, и . ICALP, том 1256 из Lecture Notes in Computer Science, стр. 408-418. Springer, (1997)

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.

Eli Schachtel

Eli Kolundžija

Michael Eli

Victoria Eli

Eli Peyser

 

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

The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , и 2 other автор(ы). TACAS, том 2280 из Lecture Notes in Computer Science, стр. 296-211. Springer, (2002)Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation., , , и . MTV, стр. 45-51. IEEE Computer Society, (2006)More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs., и . ISTCS, стр. 140-149. IEEE Computer Society, (1995)Formal Verification of Backward Compatibility of Microcode., , , , , , , , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 185-198. Springer, (2005)On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction., и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 178-192. Springer, (1999)More on Nonregular PDL: Finite Models and Fibonacci-Like Programs., и . Inf. Comput., 128 (2): 109-118 (1996)Translation Validation., , и . TACAS, том 1384 из Lecture Notes in Computer Science, стр. 151-166. Springer, (1998)Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)., и . ICALP, том 1256 из Lecture Notes in Computer Science, стр. 408-418. Springer, (1997)Computation Paths Logic: An Expressive, yet Elementary, Process Logic., и . Ann. Pure Appl. Log., 96 (1-3): 167-186 (1999)Fair Synchronous Transition Systems and Their Liveness Proofs., , и . FTRTFT, том 1486 из Lecture Notes in Computer Science, стр. 198-209. Springer, (1998)