Home

Literature

Found 1 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Cook  [Clear All Filters]
2010
Cook, B., Kroening, D., Ruemmer, P., Wintersteiger, C. , "Ranking Function Synthesis for Bit-Vector Relations ", TACAS, vol. 6015, Paphos, Cyprus, Springer, pp. 236-250, 10/03/2010. Abstract
 Export: Tagged XML BibTex