Login / Signup
Alice Miller
ORCID
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 20
Top Topics
Model Checking
Transportation Systems
Quantitative Analysis
Symmetry Breaking
Top Venues
CoRR
Qual. Reliab. Eng. Int.
Formal Aspects Comput.
Constraints An Int. J.
</>
Publications
</>