Spatio-temporal Model Checking for Mobile Real-Time Systems.

Jan-David Quesel, Andreas Schfer

Browse the full ICTAC paper archive.