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. +