| | |
# of records = 12
homepages/26/4417 conf/ecmdafa/BotterweckPRS11 conf/icse/RubinBPW11 conf/icse/RubinBMMP10 conf/splc/HartmannKMRTY10 conf/splc/RubinC10 conf/splc/JaaskelainenKRYK10 conf/splc/MamanADKRY10 conf/ecmdafa/KerenKRT06 journals/ibmsj/Aizenbud-ReshefNRS06 journals/tcs/KaminskiR06 journals/entcs/KaminskiM05
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