Techniques modulo pour les bisimulations. (Up to techniques for bisimulations) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Damien Pous. Techniques modulo pour les bisimulations. (Up to techniques for bisimulations). PhD thesis, École normale supérieure de Lyon, France, 2008. [doi]

@phdthesis{hal-8983,
  title = {Techniques modulo pour les bisimulations. (Up to techniques for bisimulations)},
  author = {Damien Pous},
  year = {2008},
  url = {https://tel.archives-ouvertes.fr/tel-01441480},
  researchr = {https://researchr.org/publication/hal-8983},
  cites = {0},
  citedby = {0},
  school = {École normale supérieure de Lyon, France},
}

runs on WebDSL