2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Lars F. Bonnichsen, Sven Karlsson, Christian W. Probst
This technical report is an extension of the paper of the same title, which is to appear at MUCOCOS'13. The technical report proves correctness of the ELB-trees operations' semanti…