Langage formel And NotD. Von Oheimb
List of bibliographic references
Number of relevant bibliographic references: 15.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000304 | MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information |
| 000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
| 000367 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
| 000515 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Closure properties and decision problems of dag automata |
| 000826 | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 000954 | Proof-search in Type-theoretic Languages | |
| 000974 | D. Galmiche [France] ; D. J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages : an introduction |
| 000A74 | R. Kolpakov [Russie] ; G. Kucherov [France] ; Y. Tarannikov [Russie] | On repetition-free binary words of minimal density |
| 000B40 | R. Kolpakov [France] ; G. Kucherov [France] ; Yu. Tarannikov [Russie] | On repetition-free binary words of minimal density |
| 000B72 | P.-E. Moreau [France] ; H. Kirchner [France] | A compiler for rewrite programs in associative-commutative theories |
| 000B98 | M. Heisell [Allemagne] ; N. Levy [France] | Using LOTOS patterns to characterize architectural styles |
| 000C22 | R. Kolpakov [Russie] ; G. Kucherov [France] | Minimal letter frequency in n-th power-free binary words |
| 000C83 | J. Souquieres [France] ; N. Levy [France] | PROPLANE : A specification development environment |
| 000D20 | G. Kucherov [France] ; M. Rusinowitch | Undecidability of ground reducibility for word rewriting systems with variables |
| 000D48 | R. M. Amadio [France] ; L. Cardelli | Subtyping recursive types |
| This area was generated with Dilib version V0.6.33. |  |