A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.

Stephan Merz, Martin Wirsing, Jlia Zappe

Browse the full FASE paper archive.