Skip to content

GitLab

Commit 44438d50 authored by Yliès Falcone's avatar Yliès Falcone
Browse files

Update README.md - typos

parent 19116a03
Hide whitespace changes
Inline Side-by-side
README.md
View file @ 44438d50
......@@ -8,8 +8,8 @@ Current Version: 3.1.
### Overview
DecenMon is an OCaml Benchmark for Decentralized Monitoring of LTL formulae.
DcentMont is written in the functional programming language OCaml.
DecentMon is an OCaml Benchmark for Decentralized Monitoring of LTL formulae.
DecentMon is written in the functional programming language OCaml.
For a full description of the underlying algorithms and principles, we refer the reader to the following journal publications:
> * Andreas Bauer, Yliès Falcone:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment