( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Factorization for Component-Interaction Automata.

, , и . SOFSEM, том 7147 из Lecture Notes in Computer Science, стр. 554-565. Springer, (2012)

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

 

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

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets., , и . CoRR, (2017)Complete Composition Operators for IOCO-Testing Theory., , , , и . CBSE, стр. 101-110. ACM, (2015)Symbolic Coloured SCC Decomposition., , , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 64-83. Springer, (2021)Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks., , , , и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 353-369. Springer, (2019)Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT., , , , и . HSCC, стр. 99-108. ACM, (2019)Towards Verification of Ensemble-Based Component Systems., , , , , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 41-60. Springer, (2013)Space Effective Model Checking for Component-Interaction Automata., , и . MEMICS, том 13 из OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)LTL Model Checking of Parametric Timed Automata., , , , и . CoRR, (2014)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)