"DAG-width of Control Flow Graphs with Applications to Model Checking."

Therese Biedl, Sebastian Fischmeister, Neeraj Kumar (2015)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-08-11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics