MOSEL: A Sound and Efficient Tool for M2L(Str).

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

Browse the full CAV paper archive.