@inproceedings{DBLP:conf/sefm/BistarelliS12,
  author       = {Stefano Bistarelli and
                  Francesco Santini},
  editor       = {George Eleftherakis and
                  Mike Hinchey and
                  Mike Holcombe},
  title        = {Securely Accessing Shared Resources with Concurrent Constraint Programming},
  booktitle    = {Software Engineering and Formal Methods - 10th International Conference,
                  {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7504},
  pages        = {308--322},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33826-7\_21},
  doi          = {10.1007/978-3-642-33826-7\_21},
  timestamp    = {Sat, 05 Sep 2020 18:01:22 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BistarelliS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"53f475e53d9d602c1a001276"},"__v":3,"authorIDs":["5457089d8b01c8193000012f","5a8SaRQZEqQauLeSj","5dec2eeed39dc7de01000059","5defa628706001de01000155","5df0bf368367c8de0100014e","5df7a6a2f3cb28df0100013e","5df8c7c4e6b510df0100018c","5df8e4de877972de0100016c","5df99361c4ada8de01000018","5dfea9342331dfdf01000059","5e012b722e225bde01000053","5e0968c8ade67ddf01000043","5e0b068b3830a1df010000e1","5e10a884cfb06ddf0100002c","5e10fd55d6a01ede01000024","5e142e4b12768ef30100003c","5e1961659eca7cdf01000080","5e1a2ca69fbdddde010000ff","5e1f814208195af3010000a8","5e2b62d96366e2df010000e6","5e2b8ef4f92538df01000011","5e2d73a3556d50df01000041","5e30e7755f9c1cf2010000d7","5e35f2395cd57fde010000c7","5e3a22e3c268d2de01000108","5e3b007c55f0f2df0100011a","5e3e128b4cdb49de0100008a","5e4094bbd668c6de0100007c","5e40f782fd6934df01000169","5e413b68b7d170df01000092","5e42e16aa6f4a6f2010000d1","5e4eddeb2962cadf010000e9","5e54f08fb8e445df01000107","6rZ7TmdCqfG4dxRdT","Q5h43gs9oNpAm4KeK","Zw3hLXQ8Xyab4HobY"],"author_short":["Bistarelli, S.","Santini, F."],"bibbaseid":"bistarelli-santini-securelyaccessingsharedresourceswithconcurrentconstraintprogramming-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["George"],"propositions":[],"lastnames":["Eleftherakis"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Hinchey"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Holcombe"],"suffixes":[]}],"title":"Securely Accessing Shared Resources with Concurrent Constraint Programming","booktitle":"Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings","series":"Lecture Notes in Computer Science","volume":"7504","pages":"308–322","publisher":"Springer","year":"2012","url":"https://doi.org/10.1007/978-3-642-33826-7\\_21","doi":"10.1007/978-3-642-33826-7_21","timestamp":"Sat, 05 Sep 2020 18:01:22 +0200","biburl":"https://dblp.org/rec/conf/sefm/BistarelliS12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sefm/BistarelliS12,\n author = {Stefano Bistarelli and\n Francesco Santini},\n editor = {George Eleftherakis and\n Mike Hinchey and\n Mike Holcombe},\n title = {Securely Accessing Shared Resources with Concurrent Constraint Programming},\n booktitle = {Software Engineering and Formal Methods - 10th International Conference,\n {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {7504},\n pages = {308--322},\n publisher = {Springer},\n year = {2012},\n url = {https://doi.org/10.1007/978-3-642-33826-7\\_21},\n doi = {10.1007/978-3-642-33826-7\\_21},\n timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},\n biburl = {https://dblp.org/rec/conf/sefm/BistarelliS12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Santini, F."],"editor_short":["Eleftherakis, G.","Hinchey, M.","Holcombe, M."],"key":"DBLP:conf/sefm/BistarelliS12","id":"DBLP:conf/sefm/BistarelliS12","bibbaseid":"bistarelli-santini-securelyaccessingsharedresourceswithconcurrentconstraintprogramming-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-33826-7\\_21"},"metadata":{"authorlinks":{"bistarelli, s":"https://bista.sites.dmi.unipg.it/papers/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","creationDate":"2014-08-20T10:18:13.505Z","downloads":0,"keywords":[],"search_terms":["securely","accessing","shared","resources","concurrent","constraint","programming","bistarelli","santini"],"title":"Securely Accessing Shared Resources with Concurrent Constraint Programming","year":2012,"dataSources":["SjN5QvQnwzXZgxsKq","GhB5rb8JzW6az3exo","PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"]}