From a07a9e888240e35df256a94eb5a0bbd725d6233b Mon Sep 17 00:00:00 2001 From: Quentin Rouland Date: Wed, 26 Feb 2020 09:41:18 +0100 Subject: [PATCH] Add FGCS journal publication --- index.html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index fc8a529..bd25d14 100644 --- a/index.html +++ b/index.html @@ -242,7 +242,10 @@

-

+

+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture. + Future Generation Computer Systems, 2020. +