Search

Your search keyword '"Bert, Didier"' showing total 537 results

Search Constraints

Start Over You searched for: Author "Bert, Didier" Remove constraint Author: "Bert, Didier"
537 results on '"Bert, Didier"'

Search Results

8. No Future Growth Enhancement Expected at the Northern Edge for European Beech due to Continued Water Limitation.

11. The Geotouristic Project “the Geological Adventure” to the Rescue of an Iconic World Heritage Geosite, the Ammonites Slab of Digne-les-Bains (National Geological Nature Reserve of Haute-Provence and Unesco Global Geopark, France)

15. GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.

17. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions

18. Proof obligations for specification and refinement of liveness properties under weak fairness

24. Ammonoid Intraspecific Variability

26. Ammonite biostratigraphy for the middle–upper Oxfordian of northwestern Algeria

34. Derivation of UML Class Diagrams as Static Views of Formal B Developments

35. GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

40. Genome-wide evolutionary response of European oaks during the Anthropocene

43. Un déroulement inattendu

44. Le PSM Bathonien du site de Bas-Auran (Alpes de Haute-Provence)

45. Problems in the identity of 'Crioceras' barremense Kilian, 1895 (Ancyloceratida, Late Barremian), and their proposed resolution

48. Report on the 4th International Meeting of the IUGS Lower Cretaceous Ammonite Working Group, the “Kilian Group” (Dijon, France, 30th August 2010)

49. Pseudoshasticrioceras bersaci nov. sp. (Ammonoidea, Gassendiceratinae), and new ammonite biohorizon for the Upper Barremian of southeastern France

Catalog

Books, media, physical & digital resources