Books by Martin Leucker
Formal Methods in Outer Space
Formal Methods in Outer Space
Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2009
Runtime Verification
Formal Methods : Applications
Formal Methods : Applications and Technology
Model-Based Testing of Reactive Systems
Logics for Mazurkiewicz traces
Logics for Mazurkiewicz traces