Checking the coherence of states in case of lost events in a trace

Submitted by Anonymous on Mon, 12/11/2017 - 10:45
Date: 
Thursday, December 7, 2017 to Friday, December 8, 2017
Event date: 
Thursday, December 7, 2017
Authors' names - collaborators: 
Marie Martin
Upload a presentation: 
PDF icon prm_17-12-08.pdf
Event name: 
Progress Report Meeting - Dec 2017