Selected publications by Stefan Schwoon

@inproceedings{SS-wmbs08,
   address = {Patras, Greece},
   author = {Martin Sachenbacher and Stefan Schwoon},
   booktitle = {{P}roceedings of the {ECAI}'08 {W}orkshop on {M}odel-{B}ased {S}ystems ({MBS}'08)},
   month = jul,
   pages = {37-41},
   title = {Model-based Test Generation using Quantified {CSP}s: A~Map},
   year = {2008},
}

About LSV