Model Checking Duration Calculus: A Practical Approach.

Roland Meyer, Johannes Faber, Andrey Rybalchenko

Browse the full ICTAC paper archive.