MokhatiBBHB08'

@article{DBLP:journals/ijaose/MokhatiBBHB08,
  author    = {Farid Mokhati and
               Mourad Badri and
               Linda Badri and
               Fathi Hamidane and
               Sofiane Bouazdia},
  title     = {Automated testing sequences generation from AUML diagrams:
               a formal verification of agents' interaction protocols},
  journal   = {IJAOSE},
  volume    = {2},
  number    = {4},
  year      = {2008},
  pages     = {422-448},
  ee        = {http://dx.doi.org/10.1504/IJAOSE.2008.020139},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}