@inproceedings{DBLP:conf/qsic/HuangVC06,
author = {Jinfeng Huang and
Jeroen Voeten and
Henk Corporaal},
title = {Correctness-preserving synthesis for real-time control software},
booktitle = {QSIC},
year = {2006},
pages = {65-73},
ee = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.21},
crossref = {DBLP:conf/qsic/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/qsic/2006,
title = {Sixth International Conference on Quality Software (QSIC
2006), 26-28 October 2006, Beijing, China},
booktitle = {QSIC},
publisher = {IEEE Computer Society},
year = {2006},
isbn = {0-7695-2718-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
