2023-06-252023-06-25https://tore.tuhh.de/handle/11420/2281732nd Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012Conference