Algèbre And NotGuillaume Bonfante
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000381 | Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
| 000575 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] | Refining mobile UML state machines |
| 000616 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive verification of distributed groupware systems |
| 000C79 | L. Vigneron [France] ; A. Wasilewska [États-Unis] | Rough and modal algebras |
| This area was generated with Dilib version V0.6.33. |  |