@ARTICLE{ijcis07b,
  author = {Ahmed Hadj Kacem and Najla Hadj Kacem},
  title = {From Formal Specification to Model Cheking of MAS unsing
                  CSP-Z and SPIN},
  journal = {International Journal of Computing \& Information Sciences},
  year = {2007},
  volume = {5},
  pages = {35--46},
  number = {1},
  month = {April},
keywords  = {MAS},
}