Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Linda Leuschner

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English