@article{hoque2012mdg,
  title={MDG-SAT: an automated methodology for efficient safety checking},
  author={Hoque, Khaza Anuarul and Ait Mohamed, Otmane and Abed, Sa’ed and Boukadoum, Mounir},
  journal={International Journal of Critical Computer-Based Systems 2},
  volume={3},
  number={1-2},
  pages={4--25},
  year={2012},
  publisher={Inderscience Publishers Ltd},
  url_Paper =  {papers/IJCCBS_Khaza.pdf}
}

{"_id":"cjWeSEd48J8mX33Ju","bibbaseid":"hoque-aitmohamed-abed-boukadoum-mdgsatanautomatedmethodologyforefficientsafetychecking-2012","authorIDs":["htvCmvEBSwLbxozzn"],"author_short":["Hoque, K. A.","Ait Mohamed, O.","Abed, S.","Boukadoum, M."],"bibdata":{"bibtype":"article","type":"article","title":"MDG-SAT: an automated methodology for efficient safety checking","author":[{"propositions":[],"lastnames":["Hoque"],"firstnames":["Khaza","Anuarul"],"suffixes":[]},{"propositions":[],"lastnames":["Ait","Mohamed"],"firstnames":["Otmane"],"suffixes":[]},{"propositions":[],"lastnames":["Abed"],"firstnames":["Sa’ed"],"suffixes":[]},{"propositions":[],"lastnames":["Boukadoum"],"firstnames":["Mounir"],"suffixes":[]}],"journal":"International Journal of Critical Computer-Based Systems 2","volume":"3","number":"1-2","pages":"4–25","year":"2012","publisher":"Inderscience Publishers Ltd","url_paper":"papers/IJCCBS_Khaza.pdf","bibtex":"@article{hoque2012mdg,\n title={MDG-SAT: an automated methodology for efficient safety checking},\n author={Hoque, Khaza Anuarul and Ait Mohamed, Otmane and Abed, Sa’ed and Boukadoum, Mounir},\n journal={International Journal of Critical Computer-Based Systems 2},\n volume={3},\n number={1-2},\n pages={4--25},\n year={2012},\n publisher={Inderscience Publishers Ltd},\n url_Paper = {papers/IJCCBS_Khaza.pdf}\n}\n\n","author_short":["Hoque, K. A.","Ait Mohamed, O.","Abed, S.","Boukadoum, M."],"key":"hoque2012mdg","id":"hoque2012mdg","bibbaseid":"hoque-aitmohamed-abed-boukadoum-mdgsatanautomatedmethodologyforefficientsafetychecking-2012","role":"author","urls":{" paper":"diner007.github.io/papers/IJCCBS_Khaza.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}}},"bibtype":"article","biburl":"diner007.github.io/ref.bib","creationDate":"2020-11-29T18:55:51.642Z","downloads":0,"keywords":[],"search_terms":["mdg","sat","automated","methodology","efficient","safety","checking","hoque","ait mohamed","abed","boukadoum"],"title":"MDG-SAT: an automated methodology for efficient safety checking","year":2012,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j"]}