| |
# of records = 24
homepages/10/5046 conf/cav/BruttomessoCFGHNPS07 conf/csr/Hanna07 conf/fmcad/KaissSHK07 conf/sat/DershowitzHN07 journals/corr/abs-0710-4629 conf/aspdac/PanCMH06 conf/fmcad/KhasidashviliSKH06 conf/sat/DershowitzHN06 journals/corr/abs-cs-0605085 journals/entcs/BozzanoBCFHKPS06 conf/date/KatzHD05 conf/hvc/KhasidashviliNPH05 conf/sat/DershowitzHK05 conf/sat/DershowitzHN05 journals/entcs/FeldmanDH05 conf/iccad/KhasidashviliSKH04 journals/jucs/LuWCMH04 conf/dac/LuWCMH03 journals/entcs/KhasidashviliH03 journals/tcad/AnderssonBCH03 conf/dac/AnderssonBCH02 conf/iccad/NovakovskySH02 conf/cav/MoondanosSHK01
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)