Spatiotemporal Specification & Verification of Multimedia Scenarios.

Ioannis Kostalas, Timos K. Sellis, Michalis Vazirgiannis

Browse the full DS paper archive.