Author: Fatma Siala
Publication Overview
Publication period start: 2008
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Ayed,
Leila Jemni Ben,
Siala,
Fatma
(2008):
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combin.
In:
Graham,
T. C. Nicholas,
Palanque,
Philippe A.
(eds.)
DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
July 16-18,
2008,
Kingston, Canada.
pp. 102-107.
https://dx.doi.org/10.1007/978-3-540-70569-7_10