Direkt zum Inhalt springen
Image Understanding and Knowledge-Based Systems
TUM School of Computation, Information and Technology
Technical University of Munich

Technical University of Munich

Menu

Links

Informatik IX

Image Understanding and Knowledge-Based Systems

Boltzmannstrasse 3
85748 Garching

info@iuks.in.tum.de




Test Strategy Generation using Quantified CSPs (bibtex)
Test Strategy Generation using Quantified CSPs (bibtex)
by M Sachenbacher and P Maier
Reference:
Test Strategy Generation using Quantified CSPs (M Sachenbacher and P Maier), In Proc. International Conference on Principles and Practice of Constraint Programming (CP'08), 2008. (Accepted for publication)
Bibtex Entry:
@inproceedings{sachenbacher_test_2008,
 author = {M Sachenbacher and P Maier},
 title = {Test Strategy Generation using Quantified {CSPs}},
 booktitle = {Proc. International Conference on Principles and Practice of Constraint
	Programming ({CP'08)}},
 year = {2008},
}
Powered by bibtexbrowser
Go Back

Rechte Seite

Informatik IX

Image Understanding and Knowledge-Based Systems

Boltzmannstrasse 3
85748 Garching

info@iuks.in.tum.de