( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parallel parameter synthesis algorithm for hybrid CTL.

, , , и . Sci. Comput. Program., (2020)

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.

Ludwig Benes

György Benes

Piroska Benes

Franz Benes

Emerich Benes

 

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

LTL Model Checking of Parametric Timed Automata., , , , и . CoRR, (2014)On clock-aware LTL parameter synthesis of timed automata., , , и . J. Log. Algebraic Methods Program., (2018)Phenotype Control of Partially Specified Boolean Networks., , , , и . CMSB, том 14137 из Lecture Notes in Computer Science, стр. 18-35. Springer, (2023)Process Algebra for Modal Transition Systemses., и . MEMICS, том 16 из OASIcs, стр. 9-18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Factorization for Component-Interaction Automata., , и . SOFSEM, том 7147 из Lecture Notes in Computer Science, стр. 554-565. Springer, (2012)Partial Order Reduction for State/Event LTL., , , , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2009)Accelerating Parameter Synthesis Using Semi-algebraic Constraints., , , , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 27-45. Springer, (2019)On determinism in modal transition systems., , , и . Theor. Comput. Sci., 410 (41): 4026-4043 (2009)Partial order reduction for state/event LTL with application to component-interaction automata., , , , , и . Sci. Comput. Program., 76 (10): 877-890 (2011)Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis., , , и . SEFM, том 9763 из Lecture Notes in Computer Science, стр. 121-136. Springer, (2016)