LOMAPS

AcronymDefinition
LOMAPSLogical and Operational Methods in the Analysis of Programs and Systems
References in periodicals archive ?
In Proceedings of the 5th LOMAPS Meeting on Analysis and Verification of High-Level Concurrent Languages, M.
In Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of Multiple-agent Languages.