dblp keys for David S. Hardin

David S. Hardin

Keys

# of data records = 27

homepages/65/6786 journals/jsa/BeltHRSCCMABCHH23 journals/sosym/MercerSACBH23 journals/corr/abs-2311-08862 journals/ieeesp/CoferABHSAHRKLM22 journals/corr/abs-2205-11709 conf/models/MercerSACBH21 conf/sp/HardinS21 conf/hicss/Hardin20 journals/corr/abs-1810-04312 conf/safecomp/HardinSBPO16 journals/corr/Hardin15 journals/corr/HardinDGM14 conf/hicss/Hardin13 journals/corr/abs-1304-7863 conf/sigada/HardinSWP12 conf/tacas/HardinSWP12 conf/nfm/BeltHRCHD11 conf/sigada/BeltHRCHD11 journals/corr/abs-1110-4473 books/sp/10/WildingGRH10 books/sp/2010H conf/icfem/HardinHJWW09 conf/fmcad/Hardin08 conf/acl2/HardinSY06 journals/fmsd/WildingGH01 conf/cav/HardinWG98

a service of  Schloss Dagstuhl - Leibniz Center for Informatics