( en | de | ru )

 

Disambiguation of "Miller, Alice"

Author of the publication

copydeleteadd this publication to your clipboard
Language-Level Symmetry Reduction for Probabilistic Model Checking.

, , and . QEST, page 289-298. IEEE Computer Society, (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

Leonhard Miller

Ralph Miller

Max Miller

Ullrich Miller

Anton Miller

 

Other publications of authors with the same name

Using SPIN for Feature Interaction Analysis - A Case Study., and . SPIN, volume 2057 of Lecture Notes in Computer Science, page 143-162. Springer, (2001)Das Drama des begabten Kindes und die Suche nach dem wahren Selbst: Eine Um- und Fortschreibung. (2009)Am Anfang war Erziehung. (2008)Exact and Approximate Strategies for Symmetry Reduction in Model Checking., and . FM, volume 4085 of Lecture Notes in Computer Science, page 541-556. Springer, (2006)Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives., and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 9-23. Springer, (2006)Verifying parametrized, featured networks by abstraction., and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 227-234. Department of Computer Science, University of Cyprus, (2004)A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker., and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 374-380. Springer, (2006)Generalising Feature Interactions in Email., and . FIW, page 187-204. IOS Press, (2003)Automatic Symmetry Detection for Model Checking Using Computational Group Theory., and . FM, volume 3582 of Lecture Notes in Computer Science, page 481-496. Springer, (2005)Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes., , , , and . Symmetry, 13 (1): 13 (2021)