"Computational methods and optimizations for containment and ..."

Marios Meimaris et al. (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics