| |
# of records = 62
homepages/b/BBeckert conf/ki/BeckertW09 conf/safecomp/BaumannBBB09 conf/cade/2008verify conf/tap/2008 conf/cade/BeckertK08 journals/sosym/AichernigB08 conf/cade/2007verify conf/cade/BeckertGHKRSS07 conf/fmoods/AhrendtBHS07 conf/sefm/BeckertK07 conf/tap/BeckertG07 journals/jar/BeckertP07 conf/fmco/AhrendtBHRS06 conf/icfem/BeckertB06 conf/cade/BeckertP06 conf/sefm/BeckertHS06 journals/expert/BeckertHHSGRTBR06 conf/sefm/2005 conf/tableaux/2005 conf/icfem/BeckertSS05 conf/lpar/BeckertT05 journals/fac/BeckertS05 journals/sosym/AhrendtBBBGHMMRSS05 conf/ifm/BeckertS04 conf/sefm/BeckertK04 conf/fase/BeckertM03 conf/sefm/BeckertS03 journals/jsc/Beckert03 conf/fase/AhrendtBBGHHMMS02 conf/ershov/BaarBS01 conf/cade/BeckertS01 journals/sLogica/BeckertG01 conf/ismvl/BeckertHM00 conf/jelia/AhrendtBBGHHMS00 conf/javacard/Beckert00 conf/ismvl/BeckertHM99 conf/tableaux/HahnleB99 journals/jucs/StenzAB99 conf/cade/BeckertG98 conf/tableaux/BeckertG98 conf/tableaux/BeckertG98a conf/tableaux/BeckertH98 journals/logcom/BeckertHE98 conf/tableaux/BeckertG97 journals/jar/RameshBHM97 journals/logcom/Beckert97 conf/cade/BeckertHOS96 conf/tableaux/BeckertP96 journals/jlp/BeckertP96 conf/csl/BeckertH95 conf/csl/BeckertP95 conf/wlp/BeckertP95 journals/jar/BeckertP95 conf/cade/Beckert94 conf/cade/BeckertP94 conf/wlp/BeckertP94 conf/kgc/BeckertHS93 conf/cade/BeckertH92 conf/cade/BeckertGHK92 tr/ibm/IWBS208 tr/ibm/IWBS227
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)