A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates). Janin, D. 2005.
A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates). [link]Link  bibtex   
@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
}

Downloads: 0