Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Larissa Meinicke

Algebraic Reasoning for Probabilistic Action Systems and While-Loops

Acta Informatica

Computer Networks

Information Systems

English