| |
# of records = 66
homepages/02/3378 conf/sefm/Rushby09 conf/rv/Rushby08 conf/acsac/RandellR07 conf/iceccs/Rushby07 conf/iceccs/Rushby07a journals/jucs/Rushby07 journals/sttt/HamonR07 conf/hybrid/Rushby06 conf/sefm/Rushby06 conf/sefm/Rushby06a conf/tphol/JacobsR06 conf/icfem/Rushby05 conf/vstte/Rushby05 conf/cav/MouraORRSST04 conf/dsn/SteinerRSP04 conf/fase/HamonR04 conf/cade/MouraORRS04 conf/sefm/HamonMR04 journals/pieee/TiwariSR03 conf/ftrtft/Rushby02 conf/icdcs/SchmidWR02 conf/emsoft/Rushby01 conf/safecomp/Rushby01 journals/entcs/Rushby01 conf/cav/Rushby00 conf/forte/Rushby00 conf/movep/Rushby00 conf/spin/Rushby99 conf/wss/KulkarniRS99 conf/fm/MunozR99 conf/fm/Rushby99 journals/tse/Rushby99 conf/fm/OwreRSS98 conf/icfem/Rushby98 journals/tse/RushbyOS98 conf/esec/Rushby98 conf/icfem/CyrlukRS97 conf/re/Rushby97 conf/tacas/OwreRS97 conf/wdag/KatzLR97 conf/cav/Rushby96 conf/cav/OwreRRSS96 conf/fsttcs/Rushby96 conf/ftcs/Rushby96 journals/csur/Rushby96 journals/computer/BowenBDGGHHHJJLPRWZ96 conf/zum/Rushby95 conf/zum/HallPPRS95 journals/tse/OwreRSH95 conf/ftrtft/RushbyS94 conf/podc/Rushby94 conf/tpcd/OwreRSS94 conf/cav/LincolnR93 conf/fm/OwreRSH93 conf/ftcs/LincolnR93 conf/ftcs/LaprieLMR93 conf/tphol/RushbyS93 journals/tse/RushbyH93 conf/cade/OwreRS92 conf/ftrtft/Rushby92 conf/aaai/CrowR91 conf/tphol/Rushby91 conf/sp/RushbyR83 conf/programm/Rushby82 conf/sosp/Rushby81
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)