Réseaux de Petri temporels à inhibitions/permissions ... - Tel - Hal
10 mars 2010 ... Réseaux de Petri temporels `a inhibitions/permissions - Application `a la
modélisation et vérification de syst`emes de tâches temps réel.
10 mars 2010 ... Réseaux de Petri temporels `a inhibitions/permissions - Application `a la
modélisation et vérification de syst`emes de tâches temps réel.