"Control Explicit-Data Symbolic Model Checking."

Petr Bauch, Vojtech Havel, Jiri Barnat (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics