Literature

Found 4 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Wahl  [Clear All Filters]
2010
Brillout, A., Kroening, D., Rümmer, P., Wahl, T. , "An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic", IJCAR, vol. to appear, Edinburgh, Springer, 16/07/2010. Abstract
 Export: Tagged XML BibTex
2009
Brillout, A., Kroening, D., Wahl, T. , "Mixed Abstractions for Floating-Point Arithmetic", FMCAD: IEEE, pp. 69-76, 2009  . Abstract
 Export: Tagged XML BibTex
Purandare, P., Wahl, T., Kroening, D. , "Strengthening Properties using Abstraction Refinement ", DATE, Nice, ACM, pp. 1692-1697, 2009  . Abstract
 Export: Tagged XML BibTex
Basler, G., Mazzucchi, M., Wahl, T., Kroening, D. , "Symbolic Counter Abstraction for Concurrent Software", CAV, Lyon, Springer, 2009  . Abstract
 Export: Tagged XML BibTex