Langage formel And NotBernd Krieg-Brückner
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 |
000451 | A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France] | The AVISPA tool for the automated validation of internet security protocols and applications |
000515 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Closure properties and decision problems of dag automata |
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. | ![]() |