@inproceedings{CheikhrouhouCKM18,
  author    = {Saoussen Cheikhrouhou and
               Nesrine Chabouh and
               Slim Kallel and
               Zakaria Maamar},
  title     = {Formal Specification and Verification of Cloud Resource Allocation
               Using Timed Petri-Nets},
  booktitle = {New Trends in Model and Data Engineering - {MEDI} 2018 International
               Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI},
  pages     = {40--49},
  year      = {2018},
  doi       = {10.1007/978-3-030-02852-7\_4},

}