# of records = 3

homepages/71/298 journals/sttt/LindahlPY01 conf/tacas/LindahlPY98

XML

last updated on 2012-12-09 00:23 CET by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page