@article{journals/ijccbs/SenftlebenS18,
  added-at = {2020-09-10T00:00:00.000+0200},
  author = {Senftleben, Maximilian and Schneider, Klaus},
  biburl = {https://www.bibsonomy.org/bibtex/209866b34793b20223ba71c9cfd034a63/dblp},
  ee = {https://doi.org/10.1504/IJCCBS.2018.096187},
  interhash = {8ad3d8d65565f1d01693f02f583ab206},
  intrahash = {09866b34793b20223ba71c9cfd034a63},
  journal = {Int. J. Crit. Comput. Based Syst.},
  keywords = {dblp},
  number = 2,
  pages = {214-229},
  timestamp = {2020-09-11T11:48:58.000+0200},
  title = {Using temporal logics for specifying weak memory consistency models.},
  url = {http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs8.html#SenftlebenS18},
  volume = 8,
  year = 2018
}

{"_id":"7P6JbrbrJkMQyikBn","bibbaseid":"senftleben-schneider-usingtemporallogicsforspecifyingweakmemoryconsistencymodels-2018","author_short":["Senftleben, M.","Schneider, K."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-10T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Senftleben"],"firstnames":["Maximilian"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Klaus"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/209866b34793b20223ba71c9cfd034a63/dblp","ee":"https://doi.org/10.1504/IJCCBS.2018.096187","interhash":"8ad3d8d65565f1d01693f02f583ab206","intrahash":"09866b34793b20223ba71c9cfd034a63","journal":"Int. J. Crit. Comput. Based Syst.","keywords":"dblp","number":"2","pages":"214-229","timestamp":"2020-09-11T11:48:58.000+0200","title":"Using temporal logics for specifying weak memory consistency models.","url":"http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs8.html#SenftlebenS18","volume":"8","year":"2018","bibtex":"@article{journals/ijccbs/SenftlebenS18,\n added-at = {2020-09-10T00:00:00.000+0200},\n author = {Senftleben, Maximilian and Schneider, Klaus},\n biburl = {https://www.bibsonomy.org/bibtex/209866b34793b20223ba71c9cfd034a63/dblp},\n ee = {https://doi.org/10.1504/IJCCBS.2018.096187},\n interhash = {8ad3d8d65565f1d01693f02f583ab206},\n intrahash = {09866b34793b20223ba71c9cfd034a63},\n journal = {Int. J. Crit. Comput. Based Syst.},\n keywords = {dblp},\n number = 2,\n pages = {214-229},\n timestamp = {2020-09-11T11:48:58.000+0200},\n title = {Using temporal logics for specifying weak memory consistency models.},\n url = {http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs8.html#SenftlebenS18},\n volume = 8,\n year = 2018\n}\n\n","author_short":["Senftleben, M.","Schneider, K."],"key":"journals/ijccbs/SenftlebenS18","id":"journals/ijccbs/SenftlebenS18","bibbaseid":"senftleben-schneider-usingtemporallogicsforspecifyingweakmemoryconsistencymodels-2018","role":"author","urls":{"Link":"https://doi.org/10.1504/IJCCBS.2018.096187","Paper":"http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs8.html#SenftlebenS18"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["using","temporal","logics","specifying","weak","memory","consistency","models","senftleben","schneider"],"title":"Using temporal logics for specifying weak memory consistency models.","year":2018}