%0 Journal Article %1 journals/isse/Saqui-SannesVFMBCCV10 %A de Saqui-Sannes, Pierre %A Villemur, Thierry %A Fontan, Benjamin %A Mota, Sara %A Bouassida, Mohamed Salah %A Chridi, Najah %A Chrisment, Isabelle %A Vigneron, Laurent %D 2010 %J ISSE %K dblp %N 1-2 %P 125-133 %T Formal verification of secure group communication protocols modelled in UML. %U http://dblp.uni-trier.de/db/journals/isse/isse6.html#Saqui-SannesVFMBCCV10 %V 6

@article{journals/isse/Saqui-SannesVFMBCCV10, added-at = {2012-06-05T00:00:00.000+0200}, author = {de Saqui-Sannes, Pierre and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ec1ccd98b4bdabbec279badd6b7c8353/dblp}, ee = {http://dx.doi.org/10.1007/s11334-010-0122-3}, interhash = {07791ca1c9f5933fa41ebf7b38f8ddfe}, intrahash = {ec1ccd98b4bdabbec279badd6b7c8353}, journal = {ISSE}, keywords = {dblp}, number = {1-2}, pages = {125-133}, timestamp = {2016-02-02T10:40:35.000+0100}, title = {Formal verification of secure group communication protocols modelled in UML.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse6.html#Saqui-SannesVFMBCCV10}, volume = 6, year = 2010 }