( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking.

, , , и . Constraints An Int. J., 21 (3): 375-393 (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.

Ullrich Miller

Anton Miller

Lorenz Miller

Wolfgang Miller

Walter Miller

 

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

Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking., , , и . CoRR, (2015)Symmetry in temporal logic model checking., , и . ACM Comput. Surv., 38 (3): 8 (2006)How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification., , , , и . Reliab. Eng. Syst. Saf., (2015)Extending Symmetry Reduction Techniques to a Realistic Model of Computation., и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 63-76. Elsevier, (2006)Gameplay Analysis of Multiplayer Games with Verified Action-Costs., и . Comput. Games J., 10 (1): 89-110 (2021)Automatic Symmetry Detection for Promela., и . J. Autom. Reason., 41 (3-4): 251-293 (2008)Exact and Approximate Strategies for Symmetry Reduction in Model Checking., и . FM, том 4085 из Lecture Notes in Computer Science, стр. 541-556. Springer, (2006)Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives., и . ATVA, том 4218 из Lecture Notes in Computer Science, стр. 9-23. Springer, (2006)Verifying parametrized, featured networks by abstraction., и . ISoLA (Preliminary proceedings), том TR-2004-6 из Technical Report, стр. 227-234. Department of Computer Science, University of Cyprus, (2004)Das Drama des begabten Kindes und die Suche nach dem wahren Selbst: Eine Um- und Fortschreibung. (2009)