Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
doi 10.1007/978-94-015-9586-5_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands