Le botlan, Didier, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 298326171 (Personal)
Permalink: http://viaf.org/viaf/298326171
Preferred Forms
Works
| Title | Sources |
|---|---|
| Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri. |
|
| Ml f : An extension of ML with second-order polymorphysm and implicit instantiation. |
|
| A polyhedral framework for reachability problems in Petri Nets |
|
| Vérification des propriétés temps réel dans le langage Fiacre. |
|
