From 995596a338e0b4bd2bac00ec4a876509c5f3ad89 Mon Sep 17 00:00:00 2001 From: Alexandre Albore Date: Fri, 7 Dec 2018 09:19:44 +0000 Subject: [PATCH] this stuff doesn't indent --- Conference.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/Conference.md b/Conference.md index 83dd277..68fb457 100644 --- a/Conference.md +++ b/Conference.md @@ -2,9 +2,7 @@ This translator has supported research activities presented in the following con * IMBSA 2017: International Symposium on Model-Based Safety and Assessment http://imbsa2017.fbk.eu/ - - Paper: Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin and Pierre Virelizier: _A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica_ - - Book: https://www.springer.com/it/book/9783319641188 * ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems