| |
# of records = 26
homepages/83/1643 conf/lata/AbdullaDB09 conf/uc/DelzannoB08 conf/membrane/AbdullaDB08 journals/fuin/GantyRB08 journals/ipl/MassartMB08 conf/atva/GeeraertsRB07 conf/csl/AbdullaDB07 conf/forte/KalyonMMB07 conf/apn/GantyRB07 conf/membrane/DelzannoB07 journals/acta/GeeraertsRB07 conf/vmcai/GantyRB06 journals/ipl/DevillersB06 journals/jcss/GeeraertsRB06 journals/tcs/FinkelGRB06 conf/cav/GeeraertsRB05 journals/entcs/FinkelGRB05 journals/entcs/RaskinSB05 journals/entcs/DarlotFB05 conf/fsttcs/GeeraertsRB04 journals/entcs/RaskinB04 journals/sttt/DelzannoRB04 conf/tacas/DelzannoRB02 journals/entcs/FinkelRSB02 conf/cav/DelzannoRB01
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)