( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging Interpolant Strength in Model Checking.

, , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 193-209. Springer, (2012)

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.

Ondrej Burkacky

Ondrej Kuncar

Ondrej Vorisek

Ondrej Rypacek

Ondrej Zofka

 

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

Interpolation-Based Function Summaries in Bounded Model Checking., , и . Haifa Verification Conference, том 7261 из Lecture Notes in Computer Science, стр. 160-175. Springer, (2011)CoCoME in Fractal., , , , , , , , , и 1 other автор(ы). CoCoME, том 5153 из Lecture Notes in Computer Science, стр. 357-387. Springer, (2007)On Teaching Formal Methods: Behavior Models and Code Analysis., , и . TFM, том 5846 из Lecture Notes in Computer Science, стр. 144-157. Springer, (2009)eVolCheck: Incremental Upgrade Checker for C., , и . TACAS, том 7795 из Lecture Notes in Computer Science, стр. 292-307. Springer, (2013)GAL: Towards Large Simulations with Tens of Agents., , , и . IVA, том 3661 из Lecture Notes in Computer Science, стр. 493. Springer, (2005)Making Components Fit: SPINing., , и . SEW, стр. 65-74. IEEE Computer Society, (2008)TBP: Code-Oriented Component Behavior Specification., , и . SEW, стр. 75-83. IEEE Computer Society, (2008)Level-of-Detail in Behaviour of Virtual Humans., , , и . SOFSEM, том 3831 из Lecture Notes in Computer Science, стр. 565-574. Springer, (2006)Leveraging Interpolant Strength in Model Checking., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 193-209. Springer, (2012)Modes in component behavior specification via EBP and their application in product lines., , и . Inf. Softw. Technol., 51 (1): 31-41 (2009)