| | |
# of records = 9
homepages/54/7401 conf/popl/HoderKV12 conf/cade/HoderV11 conf/cav/HoderBM11 conf/micai/HoderKV11 conf/tacas/HoderKV11 conf/icms/UrbanHV10 conf/cade/HoderKV10 conf/ki/HoderV09
Last update 2012-02-15 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page