| |
# of records = 58
homepages/s/OferStrichman conf/cav/Strichman09 conf/cav/RyabtsevS09 conf/dac/GodlinS09 journals/fmsd/ChocklerS09 journals/sttt/BryantKOSSB09 conf/fmcad/GoldwasserSF08 conf/fmcad/ChocklerGS08 conf/hvc/Bar-IlanFHSS08 conf/sat/RyvchinS08 journals/acta/GodlinS08 journals/entcs/RozanovS08 journals/fmsd/ChakiS08 journals/fmsd/GershmanKS08 conf/cav/MatsliahS07 conf/memocode/ChocklerS07 conf/tacas/ChakiS07 conf/tacas/BryantKOSSB07 journals/entcs/StrichmanB07 conf/cav/GershmanKS06 journals/entcs/BiereS06 journals/entcs/PnueliS06 journals/iandc/RodehS06 journals/sttt/GroceCKS06 conf/cav/GuptaS05 conf/cav/MeirS05 conf/hvc/GershmanS05 conf/popl/GrumbergLST05 conf/sat/GershmanS05 conf/vstte/StrichmanG05 journals/entcs/BiereS05 journals/sttt/ClarkeKOS05 journals/sttt/BiereS05 conf/cav/TalupurSSP04 conf/cav/KroeningOSS04 conf/sigsoft/ChakiGS04 conf/vmcai/ClarkeKOS04 journals/corr/cs-LO-0402002 journals/fmsd/Strichman04 journals/fmsd/ChakiCGOSY04 journals/tcad/ClarkeGS04 conf/charme/ChakiCGS03 conf/vmcai/KroeningS03 journals/ac/BiereCCSZ03 journals/iandc/PnueliRSS03 conf/cav/StrichmanSB02 conf/cav/ClarkeGKS02 conf/fmcad/Strichman02 journals/iandc/PnueliRSS02 conf/cav/RodehS01 conf/charme/Shtrichman01 conf/fsttcs/PnueliRS01 conf/cav/Shtrichman00 conf/cav/PnueliRSS99 conf/birthday/PnueliSS99 conf/fm/PnueliSS98 conf/icalp/PnueliSS98 journals/sttt/PnueliSS98
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)