( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Satisfiability checking and symbolic computation.

, , , , , , , , , , , , , , и . ACM Commun. Comput. Algebra, 50 (4): 145-147 (2016)

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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

Alessandro Topa

Alessandro Manfredini

 

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

NUSMV: A New Symbolic Model Checker., , , и . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 202-213. Springer, (1997)An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 317-333. Springer, (2005)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , и . SAFECOMP, том 1516 из Lecture Notes in Computer Science, стр. 221-230. Springer, (1998)Formal Verification of Diagnosability via Symbolic Model Checking., , и . IJCAI, стр. 363-369. Morgan Kaufmann, (2003)Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance., и . ICMAS, стр. 57-64. The MIT Press, (1995)Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides., , , и . MILS@DSN, Zenodo, (2018)A first-order logic characterization of safety and co-safety languages., , , , и . CoRR, (2022)Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , и . CoRR, (2024)Analysis of Cyclic Fault Propagation via ASP., , , , и . LPNMR, том 13416 из Lecture Notes in Computer Science, стр. 470-483. Springer, (2022)