| |
# of records = 13
homepages/77/6678 conf/tacas/MateescuW09 journals/sttt/WijsPB09 conf/mochart/EdelkampSBWFA08 journals/entcs/DashtiWL08 journals/fuin/FokkinkPW08 conf/atva/DashtiW07 conf/iceccs/Wijs07 conf/tacas/BlomCLOPPDW07 conf/mochart/WijsL06 conf/formats/FokkinkPW05 conf/iceccs/WijsF05 journals/jlp/BortnikTWLMBFR05
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)