Aspect-oriented formal specification for multimedia systems.

Lichen Zhang, Lihua Wang

Browse the full AICCSA paper archive.