| |
# of records = 24
homepages/13/887 journals/sttt/WilliamsAH03 conf/ac/MollerHA02 journals/fmsd/BehrmannLAHL02 journals/iandc/AndersenH02 journals/jlp/MollerHA02 conf/tacas/WilliamsAH01 journals/fmsd/Lind-NielsenAHBKL01 journals/computer/StaunstrupAHLLBKSLT00 journals/tcad/HulgaardA00 conf/async/AmonH99 conf/csl/MollerLAH99 conf/tacas/BehrmannLAHL99 journals/entcs/MollerLAH99 journals/tcad/HulgaardWA99 conf/fmcad/JinHC98 conf/tacas/Lind-NielsenABHKL98 conf/lics/AndersenH97 journals/fmsd/HulgaardB97 conf/cav/HulgaardB95 journals/tc/HulgaardBAB95 conf/iccad/HulgaardBAB93 conf/iccd/AmonHBB93 conf/hlppp/HulgaardCS91
Copyright © 2010-01-08 by Michael Ley (ley@uni-trier.de)