( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

, , , , , , и . ASP-DAC, стр. 304-309. IEEE Computer Society, (2007)

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.

Charikleia Armoni

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Trina Roy

Smritindu Roy

David Roy

 

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

The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , и 2 other автор(ы). TACAS, том 2280 из Lecture Notes in Computer Science, стр. 296-211. Springer, (2002)Deterministic Dynamic Monitors for Linear-Time Assertions., , , , и . FATES/RV, том 4262 из Lecture Notes in Computer Science, стр. 163-177. Springer, (2006)On the Derandomization of Space-Bounded Computations.. RANDOM, том 1518 из Lecture Notes in Computer Science, стр. 47-59. Springer, (1998)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , и . ASP-DAC, стр. 304-309. IEEE Computer Society, (2007)SL <= L4/3., , , и . STOC, стр. 230-239. ACM, (1997)Resets vs. Aborts in Linear Temporal Logic., , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 65-80. Springer, (2003)Formal verification coverage: computing the coverage gap between temporal specifications., , , , , , , и . ICCAD, стр. 198-203. IEEE Computer Society / ACM, (2004)Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles., , , и . FOCS, стр. 412-421. IEEE Computer Society, (1996)On the random resources needed by space bounded computational models (על משאבי האקראיות הדרושים למודלים חישוביים מוגבלי זכרון.).. Hebrew University of Jerusalem, Israel, (1998)SVA and PSL Local Variables - A Practical Approach., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 197-212. Springer, (2013)