Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Contact Sylvain Hallé

From: MapReduce for parallel trace validation of LTL properties

Contact corresponding author