MOVEP 2016Posted in Verification12th Summer School on Modelling and Verification of Parallel Processes Event Date: Jun 27, 2016 - Jul 01, 2016 Posted inLocation: Genova Deadline: May 10, 2016
