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

Weiwei Chen, Xu Han, Rainer Dmer

Browse the full DATE paper archive.