Modal and Temporal Logics-Based Planning for Open Networked Multimedia Systems

Open in new window