Persönlicher Status und Werkzeuge

Home Publications
Model-based Test Generation Using Quantified CSPs (bibtex)
@INPROCEEDINGS{sachenbacher_model-based_2008-1,
  author = {Sachenbacher, Martin and Schwoon, Stefan},
  title = {Model-based Test Generation Using Quantified {CSPs}},
  booktitle = {Proc. International Workshop on Principles of Diagnosis ({DX'08)}},
  year = {2008},
  note = {Accepted for publication}
}
Powered by bibtexbrowser
Export as PDF or BIB
Back to Publications
Last edited 29.01.2013 17:37 by Quirin Lohr