Réseaux de Petri P-temporels: Modélisation et validation ... - Tel - Hal

26 févr. 2009 ... Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles. Simon Collart-Dutilleul. To cite this version:.