Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.

Martin Frnzle, Michael R. Hansen

Browse the full SEFM paper archive.