About: https://hal.archives-ouvertes.fr/inria-00594387#id   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

Bibliographic Citation
  • Saqui-Sannes Pierre, Villemur Thierry, Fontan Benjamin, Mota Gonzalez Sara Del Socorro, Bouassida Mohamed Salah, Chridi Najah, Chrisment Isabelle, Vigneron Laurent. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
  • 2010
Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2023 OpenLink Software