( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Beyond Parameterized Verification.

, и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 221-235. Springer, (2002)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

Efficient Satisfiability Modulo Theories via Delayed Theory Combination., , , , , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 335-349. Springer, (2005)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 317-333. Springer, (2005)Algorithmic Verification of Invalidation-Based Protocols., и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 295-308. Springer, (2002)Model-Based Safety Analysis of Mode Transitions., , , , и . SAFECOMP, том 12234 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2020)Analysis of Cyclic Fault Propagation via ASP., , , , и . LPNMR, том 13416 из Lecture Notes in Computer Science, стр. 470-483. Springer, (2022)Multi-agent Systems Development as a Software Engineering Enterprise., , , , и . PADL, том 1551 из Lecture Notes in Computer Science, стр. 46-60. Springer, (1999)Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems., и . SAFECOMP, том 4166 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2006)An Effective Bottom-Up Semantics for First-Order Linear Logic Programs., , и . FLOPS, том 2024 из Lecture Notes in Computer Science, стр. 138-152. Springer, (2001)Beyond Parameterized Verification., и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 221-235. Springer, (2002)Symbolic Fault Tree Analysis for Reactive Systems., , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2007)