Formal semantics and analysis tasks for ME-MAP models.

Azzam Maraee, Arnon Sturm

Browse the full RCIS paper archive.