Fatma Siala

Author: Fatma Siala

Publications

Publication period start: 2008
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Leila Jemni Ben Ayed
1

Productive Colleagues

Most productive colleagues in number of publications
Leila Jemni Ben Ayed
4

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