| |
# of records = 17
homepages/05/2504 conf/fmcad/Abu-HaimedDB06 conf/cav/ChangBD04 conf/cav/BarrettB04 conf/cav/Abu-HaimedBD03 conf/charme/Abu-HaimedBD03 conf/tacas/BerezinGD03 conf/fmcad/GaneshBD02 journals/fmsd/BerezinCBZ02 conf/tacas/LakhnechBBO01 journals/jcs/SongBP01 conf/birthday/BerezinCJM00 conf/fmcad/BerezinBCZ98 conf/tableaux/ClarkeB98 conf/compos/BerezinCC97 journals/entcs/GurovBK96 conf/lfcs/BerezinS94
Copyright © 2009-11-23 by Michael Ley (ley@uni-trier.de)