| |
# of records = 23
homepages/67/578 conf/formats/BrabermanGKMO09 conf/formats/BrabermanOOS07 conf/eclipse/CavatortaCFBGKSO06 journals/fmsd/BrabermanOS06 journals/entcs/BrabermanOS05 journals/tse/BrabermanKO05 journals/sttt/BrabermanOS05 conf/cav/BrabermanGO04 conf/icse/AlfonsoBKO04 conf/icse/SchapachnikBO02 conf/tacas/BrabermanGO02 journals/entcs/BrabermanPO02 journals/entcs/BrabermanOS02 journals/entcs/BrabermanO01 conf/cav/BozgaDMOTY98 conf/ftrtft/BozgaDMOTY98 conf/hybrid/DawsOTY95 journals/tcs/AlurCHHHNOSY95 conf/cav/OliveroSY94 conf/forte/DawsOY94 conf/cav/JourdanMO93 conf/hybrid/NicollinOSY92
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)