Spécification And NotAbdessamad Imine
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 |
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 |
000D01 | C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
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. |