# of records = 5
homepages/57/4297 conf/isqed/BijanskyLA09 conf/dac/BijanskyA08 conf/iccd/MohammadBAA08 conf/dac/JacomeHVB04
XML
