𝔖 Bobbio Scriptorium

✦ LIBER ✦

Geological time formalization: an improved formal model for describing time successions and their correlation

✍ Scribed by Michel Perrin; Laura S. Mastella; Olivier Morel; Alexandre Lorenzatti

Book ID: 107613770
Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 922 KB
Volume: 4
Category: Article
ISSN: 1865-0473
DOI: 10.1007/s12145-011-0080-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6959 || Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

✍ Salaün, Gwen; Schätz, Bernhard 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 328 KB