A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

David Janin. A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates). 2005. [doi]

@book{Janin05,
  title = {A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates)},
  author = {David Janin},
  year = {2005},
  url = {https://tel.archives-ouvertes.fr/tel-00659990},
  researchr = {https://researchr.org/publication/Janin05},
  cites = {0},
  citedby = {0},
}

runs on WebDSL