@book{books/hal/Janin05,
  added-at = {2017-09-28T00:00:00.000+0200},
  author = {Janin, David},
  biburl = {https://www.bibsonomy.org/bibtex/26c1393cafb22177786b8c70cb3e94657/dblp},
  ee = {https://tel.archives-ouvertes.fr/tel-00659990},
  interhash = {98f2b3e0715772768dcd20bcfc58540a},
  intrahash = {6c1393cafb22177786b8c70cb3e94657},
  keywords = {dblp},
  school = {University of Bordeaux, France},
  timestamp = {2017-12-07T22:30:30.000+0100},
  title = {A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates).},
  year = 2005
}

{"_id":"tziqZaLZNSWjAnvFk","bibbaseid":"janin-acontributiontoformalmethodsgameslogicandautomatacontributionauxfondementsdesmthodesformellesjeuxlogiqueetautomates-2005","author_short":["Janin, D."],"bibdata":{"bibtype":"book","type":"book","added-at":"2017-09-28T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Janin"],"firstnames":["David"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26c1393cafb22177786b8c70cb3e94657/dblp","ee":"https://tel.archives-ouvertes.fr/tel-00659990","interhash":"98f2b3e0715772768dcd20bcfc58540a","intrahash":"6c1393cafb22177786b8c70cb3e94657","keywords":"dblp","school":"University of Bordeaux, France","timestamp":"2017-12-07T22:30:30.000+0100","title":"A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates).","year":"2005","bibtex":"@book{books/hal/Janin05,\n added-at = {2017-09-28T00:00:00.000+0200},\n author = {Janin, David},\n biburl = {https://www.bibsonomy.org/bibtex/26c1393cafb22177786b8c70cb3e94657/dblp},\n ee = {https://tel.archives-ouvertes.fr/tel-00659990},\n interhash = {98f2b3e0715772768dcd20bcfc58540a},\n intrahash = {6c1393cafb22177786b8c70cb3e94657},\n keywords = {dblp},\n school = {University of Bordeaux, France},\n timestamp = {2017-12-07T22:30:30.000+0100},\n title = {A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates).},\n year = 2005\n}\n\n","author_short":["Janin, D."],"key":"books/hal/Janin05","id":"books/hal/Janin05","bibbaseid":"janin-acontributiontoformalmethodsgameslogicandautomatacontributionauxfondementsdesmthodesformellesjeuxlogiqueetautomates-2005","role":"author","urls":{"Link":"https://tel.archives-ouvertes.fr/tel-00659990"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"http://www.bibsonomy.org/bib/author/Janin?items=1000","dataSources":["LX383e7ksg6j7n8fX"],"keywords":["dblp"],"search_terms":["contribution","formal","methods","games","logic","automata","contribution","aux","fondements","des","thodes","formelles","jeux","logique","automates","janin"],"title":"A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates).","year":2005}