( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Making Abstract Model Checking Strongly Preserving.

, и . SAS, том 2477 из Lecture Notes in Computer Science, стр. 411-427. 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.

Ottaviano Tapparo

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Pinosa

Francesco Solimena

Francesco Knechtli

 

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

Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation, и . CoRR, (2006)An Abstract Interpretation Perspective on Linear vs. Branching Time., и . APLAS, том 3780 из Lecture Notes in Computer Science, стр. 69-85. Springer, (2005)Making Abstract Model Checking Strongly Preserving., и . SAS, том 2477 из Lecture Notes in Computer Science, стр. 411-427. Springer, (2002)Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation., и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 332-347. Springer, (2006)Computing Stuttering Simulations., и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 542-556. Springer, (2009)Symbolic Fault Tree Analysis for Reactive Systems., , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2007)Strong Preservation as Completeness in Abstract Interpretation., и . ESOP, том 2986 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2004)A Forward-Backward Abstraction Refinement Algorithm., , и . VMCAI, том 4905 из Lecture Notes in Computer Science, стр. 248-262. Springer, (2008)An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation., и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 140-156. Springer, (2005)Saving Space in a Time Efficient Simulation Algorithm., , и . ACSD, стр. 60-69. IEEE Computer Society, (2009)