Search
Now showing items 1431-1440 of 1465
The probabilistic maximum independent set problem.
(1995) Communication / Conférence
Une approche générique des systèmes parallèles.
(1994) Communication / Conférence
Représentation et manipulation de plans à l'aide de réseaux de Petri.
(1994) Communication / Conférence
Mesure, imprécision et incertitude en comptabilité financière : peut-on étendre la partie double aux nombres flous?.
(1994) Communication / Conférence
Generative families of positive invariants in coloured nets sub-classes.
(1993) Communication / Conférence
Parallélisme et Généricité.
(1993) Communication / Conférence
Assessment of ESTELLE and EDT Through Real Case Studies.
(1993) Communication / Conférence
Evaluation paramétrée de formules de logique temporelle.
(1993) Communication / Conférence
A Protocol Specification Language with a High-level Petri Net Semantics.
(1993) Communication / Conférence
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
(1993) Communication / Conférence