# of records = 14

homepages/44/481 conf/adaEurope/CoqR11 conf/adaEurope/Rosen11 conf/sigada/Rosen11 conf/sigada/RosenMT11 conf/sigada/2011 conf/sigada/Rosen10 conf/sigada/JemliR10 conf/sigada/RosenT09 conf/sigada/Rosen03 conf/adaEurope/2003 conf/adaEurope/Rosen02 journals/cacm/Rosen92 conf/sigada/Rosen92

XML

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