| |
# of records = 56
homepages/01/680 conf/emsoft/2009 conf/fase/JahierHR09 conf/adaEurope/OberH08 conf/pldi/HalbwachsP08 conf/emsoft/JahierHRNL07 conf/vmcai/PeronH07 conf/acsd/HalbwachsM06 conf/sas/GonnordH06 journals/entcs/GonnordHR06 journals/fmsd/HalbwachsMG06 conf/dagstuhl/2004P4491 conf/tacas/2005 conf/memocode/Halbwachs05 conf/dagstuhl/EdwardsHHS04 conf/dagstuhl/EdwardsHHS04a journals/sttt/PaceHR04 conf/sas/HalbwachsMP03 journals/pieee/BenvenisteCEHGS03 conf/emsoft/HalbwachsB02 journals/tcs/LesensHR01 conf/ftrtft/HalbwachsHLN00 conf/cav/1999 conf/asian/HalbwachsR99 conf/sas/JeannetHR99 conf/cav/Halbwachs98 conf/rtss/RaymondNHW98 journals/scp/Halbwachs98 conf/popl/Halbwachs97 journals/fmsd/HalbwachsPR97 conf/esop/MaraninchiH96 conf/ftrtft/MaraninchiH96 journals/tcs/AlurCHHHNOSY95 conf/sas/Halbwachs94 conf/sas/HalbwachsPR94 conf/amast/HalbwachsLR93 conf/cav/Halbwachs93 conf/rex/BenvenisteCGH93 conf/concur/AlurCHDW92 conf/rtss/AlurCDHW92 journals/acta/HalbwachsLR92 journals/tse/HalbwachsLR92 journals/scp/BouajjaniFHR92 conf/ccc/RocheteauH91 conf/plilp/HalbwachsRR91 conf/rex/RocheteauH91 conf/cav/BouajjaniFH90 conf/avmfss/HalbwachsPOG89 conf/ftrtft/PilaudH88 conf/popl/CaspiPHP87 journals/acta/CaspiH86 conf/rtss/BergerandCPHP85 conf/pnpm/CaspiH85 conf/icdcs/CaspiH82 conf/icpp/CaspiH82 conf/popl/CousotH78
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)