"May-happen-in-parallel analysis based on segment graphs for safe ESL models."

Weiwei Chen, Xu Han, Rainer Dömer (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics