Spécification And NotP. D. Mosses
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000128 | MOHAMED GHAITH KAABI [France] ; Arnaud Tonnelier [France] ; Dominique Martinez [France] | On the Performance of Voltage Stepping for the Simulation of Adaptive, Nonlinear Integrate-and-Fire Neuronal Networks |
| 000383 | Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
| 000739 | Radu State [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A SMIng based policy access control for SNMPv3 |
| 000762 | Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
| 000972 | H. Dubois [France] ; H. Kirchnei [France] | Rule Based Programming with constraints and strategies |
| 000995 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Higher order unification via explicit substitutions |
| 000A12 | R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
| 000D28 | J. N. Akazan [France] ; Z. Mammeri | On tasks synchronization with the MMS protocol |
| 000D51 | P.-Y. Schobbens [France] | Exceptions for algebraic specifications: on the meaning of but' |
| This area was generated with Dilib version V0.6.33. |  |