On Model Checking for Real-Time Properties with Durations

Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis

Browse the full LICS paper archive.