From 3d0bb53a8de5e61cde23a37aeba4c567ae7e44bd Mon Sep 17 00:00:00 2001
From: Hiba Ouni <ouni@lipn.univ-paris13.fr>
Date: Thu, 28 Nov 2019 23:57:44 +0100
Subject: [PATCH] Update README.md

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/README.md b/README.md
index 088438b..7ccfdad 100644
--- a/README.md
+++ b/README.md
@@ -66,3 +66,14 @@ arg3: specifies the net to build its SOG
 arg4: specifies the LTL formula file
 
 ```
+## Publications
+1. [A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems 2017](https://www.researchgate.net/publication/315840512_A_Parallel_Construction_of_the_Symbolic_Observation_Graph_the_Basis_for_Efficient_Model_Checking_of_Concurrent_Systems)
+
+2. [Parallel Symbolic Observation Graph 2017](https://ieeexplore.ieee.org/document/8367348)
+
+3. [Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context](https://ieeexplore.ieee.org/abstract/document/8672359)
+
+4. [Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph](https://ieeexplore.ieee.org/abstract/document/8843636)
+
+
+
-- 
GitLab