See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/221616815 SDL versus C equivalence checking Conference Paper in Lecture Notes in Computer Science · June 2005 Impact Factor: 0.51 · DOI: 10.1007/11506843_23 · Source: DBLP CITATIONS 7 READS 19 2 authors, including: Armin Biere Johannes Kepler University Linz 149 PUBLICATIONS 6,052 CITATIONS SEE PROFILE Available from: Armin Biere Retrieved on: 10 May 2016