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

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