"Making the Right Cut in Model Checking Data-Intensive Timed Systems."

Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics