DBLP Keys for 'John DeVale'

# of records = 6

homepages/63/5924 conf/micro/BlackABDJLMMNPRRSSW06 conf/dsn/DeValeK02 conf/dsn/DeValeK01 journals/tse/KoopmanD00 conf/ftcs/KoopmanD99