@article{DBLP:journals/corr/abs-2205-10224,
  author    = {Ehsan Khamespanah and
               Morteza Mohaqeqi and
               Mohammad Ashjaei and
               Marjan Sirjani},
  title     = {Schedulability Analysis of {WSAN} Applications: Outperformance of
               {A} Model Checking Approach},
  journal   = {CoRR},
  volume    = {abs/2205.10224},
  year      = {2022},
  url       = {https://doi.org/10.48550/arXiv.2205.10224},
  doi       = {10.48550/arXiv.2205.10224},
  eprinttype = {arXiv},
  eprint    = {2205.10224},
  timestamp = {Mon, 23 May 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2205-10224.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"qeCXhMjfWhxWuZHGc","bibbaseid":"khamespanah-mohaqeqi-ashjaei-sirjani-schedulabilityanalysisofwsanapplicationsoutperformanceofamodelcheckingapproach-2022","author_short":["Khamespanah, E.","Mohaqeqi, M.","Ashjaei, M.","Sirjani, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Morteza"],"propositions":[],"lastnames":["Mohaqeqi"],"suffixes":[]},{"firstnames":["Mohammad"],"propositions":[],"lastnames":["Ashjaei"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]}],"title":"Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach","journal":"CoRR","volume":"abs/2205.10224","year":"2022","url":"https://doi.org/10.48550/arXiv.2205.10224","doi":"10.48550/arXiv.2205.10224","eprinttype":"arXiv","eprint":"2205.10224","timestamp":"Mon, 23 May 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2205-10224.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2205-10224,\n author = {Ehsan Khamespanah and\n Morteza Mohaqeqi and\n Mohammad Ashjaei and\n Marjan Sirjani},\n title = {Schedulability Analysis of {WSAN} Applications: Outperformance of\n {A} Model Checking Approach},\n journal = {CoRR},\n volume = {abs/2205.10224},\n year = {2022},\n url = {https://doi.org/10.48550/arXiv.2205.10224},\n doi = {10.48550/arXiv.2205.10224},\n eprinttype = {arXiv},\n eprint = {2205.10224},\n timestamp = {Mon, 23 May 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2205-10224.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Khamespanah, E.","Mohaqeqi, M.","Ashjaei, M.","Sirjani, M."],"key":"DBLP:journals/corr/abs-2205-10224","id":"DBLP:journals/corr/abs-2205-10224","bibbaseid":"khamespanah-mohaqeqi-ashjaei-sirjani-schedulabilityanalysisofwsanapplicationsoutperformanceofamodelcheckingapproach-2022","role":"author","urls":{"Paper":"https://doi.org/10.48550/arXiv.2205.10224"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","dataSources":["XQFBr7xfzAa2rp9Ka"],"keywords":[],"search_terms":["schedulability","analysis","wsan","applications","outperformance","model","checking","approach","khamespanah","mohaqeqi","ashjaei","sirjani"],"title":"Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach","year":2022,"downloads":1}