| |
# of records = 10
homepages/60/3666 journals/sttt/BabicH09 conf/icse/BabicH08 conf/cav/BabicH07 conf/fmcad/HutterBHH07 conf/hvc/BabicH07 conf/sefm/BabicHRC07 journals/tc/BabicBH06 conf/aspdac/BabicH05 conf/dac/BabicBH05
Copyright © 2010-01-06 by Michael Ley (ley@uni-trier.de)