Login
Model-based Test Generation Using Quantified CSPs (bibtex)
by M Sachenbacher and S Schwoon
Reference:
Model-based Test Generation Using Quantified CSPs (M Sachenbacher and S Schwoon), In Proc. International Workshop on Principles of Diagnosis (DX'08), 2008. (Accepted for publication)
Bibtex Entry:
@inproceedings{sachenbacher_model-based_2008-1,
author = {M Sachenbacher and S Schwoon},
title = {Model-based Test Generation Using Quantified {CSPs}},
booktitle = {Proc. International Workshop on Principles of Diagnosis ({DX'08)}},
year = {2008},
}
Powered by bibtexbrowser
Go Back
