Surveillance des systemes a evenements discrets - a l'aide des reseaux de petri temporels de Ghazel Mohamed — Avis et clubs de lecture | Booklub