@inproceedings{DBLP:conf/sdl/HaroudB05,
author = {Malek Haroud and
Armin Biere},
title = {SDL Versus C Equivalence Checking},
booktitle = {SDL Forum},
year = {2005},
pages = {323-338},
ee = {http://dx.doi.org/10.1007/11506843_23},
crossref = {DBLP:conf/sdl/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sdl/2005,
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {SDL 2005: Model Driven, 12th International SDL Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
booktitle = {SDL Forum},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3530},
year = {2005},
isbn = {3-540-26612-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-06-19 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
