( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Omega-Regular Decision Processes.

, , , , , и . CoRR, (2023)

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.

Fabio Galbusera

Fabio Farinon

Fabio Sternberg

Fabio Giovannini

Fabio Ruggiero

 

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

Analysis of Symbolic SCC Hull Algorithms., , и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2002)CirCUs: A Hybrid Satisfiability Solver., и . SAT, (2004)Algebraic Decision Diagrams and Their Applications., , , , , , и . Formal Methods Syst. Des., 10 (2/3): 171-206 (1997)Logic synthesis and verification algorithms., и . Springer, (2006)Alembic: An Efficient Algorithm for CNF Preprocessing., и . DAC, стр. 582-587. IEEE, (2007)VIS: A System for Verification and Synthesis., , , , , , , , , и 6 other автор(ы). CAV, том 1102 из Lecture Notes in Computer Science, стр. 428-432. Springer, (1996)A Performance Study of BDD-Based Model Checking., , , , , , , и . FMCAD, том 1522 из Lecture Notes in Computer Science, стр. 255-289. Springer, (1998)Fair Simulation Minimization., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 610-624. Springer, (2002)Good-for-MDPs Automata., , , , , и . CoRR, (2019)The Charme of Abstract Entities.. CHARME, том 2860 из Lecture Notes in Computer Science, стр. 2. Springer, (2003)