( en | de | ru )

 

Disambiguation of "Miller, Alice"

Author of the publication

copydeleteadd this publication to your clipboard
Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.

, , , , and . CSE, page 704-713. IEEE Computer Society, (2014)

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.

Elvira Miller

K Miller

Christina Miller

Jochen Miller

Rudolf 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)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)Das Drama des begabten Kindes und die Suche nach dem wahren Selbst: Eine Um- und Fortschreibung. (2009)Am Anfang war Erziehung. (2008)Video and CD-ROM as a training tool for performing neurologic examinations of 1-year-old children in a multicenter epidemiologic study., , , , , , , , , and 26 other author(s). J Child Neurol, 20 (10): 829--831 (October 2005)Model checking learning agent systems using Promela with embedded C code and abstraction., , and . Formal Asp. Comput., 28 (6): 1027-1056 (2016)Constraints for symmetry breaking in graph representation., , , and . Constraints An Int. J., 24 (1): 1-24 (2019)Am Anfang war Erziehung. Suhrkamp, (1980)