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

Rdiger Ehlers, Michael Gerke, Hans-Jrg Peter

Browse the full ICFEM paper archive.