M
Martin Leucker
8 works on record
Works

Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2015

Runtime Verification
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
Formal Methods in Outer Space
Formal Methods in Outer Space
Formal Methods : Applications and Technology
Formal Methods : Applications and Technology
Formal Methods
Formal Methods
Logics for Mazurkiewicz traces
Logics for Mazurkiewicz traces