# of records = 6

homepages/17/10794 conf/tacas/HeizmannCDEHLNSP13 conf/vmcai/ChristESW13 conf/fm/ErmisSW12 conf/vmcai/ErmisHP12 journals/corr/abs-1210-4686

XML

last updated on 2013-02-19 23:38 CET by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page