Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000209 | Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France] | Infinite-State High-Level MSCs: Model-Checking and Realizability |
| 000216 | Sébastien Limet [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne] | Weakly Regular Relations and Applications |
| 000218 | Valérie Gouranton [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne] | Synchronized Tree Languages Revisited and New Applications |
| This area was generated with Dilib version V0.6.31. |  |