@inproceedings{duret.16.atva2,
  author = {Alexandre Duret-Lutz and Alexandre Lewkowicz and Amaury
		  Fauchille and Thibaud Michaud and Etienne Renault and
		  Laurent Xu},
  title = {Spot 2.0 --- a framework for {LTL} and $\omega$-automata
		  manipulation},
  booktitle = {Proceedings of the 14th International Symposium on
		  Automated Technology for Verification and Analysis
		  (ATVA'16)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {????},
  pages = {??--??},
  year = {2016},
  month = oct,
  note = {To appear.},
  pdf = {adl/duret.16.atva2.pdf},
  abstract = {We present Spot 2.0, a C++ library with Python
                  bindings and an assortment of command-line tools
                  designed to manipulate LTL and $\omega$-automata in
                  batch. New automata-manipulation tools were
                  introduced in Spot 2.0; they support arbitrary
                  acceptance conditions, as expressible in the Hanoi
                  Omega Automaton format.  Besides being useful to
                  researchers who have automata to process, its Python
                  bindings can also be used in interactive
                  environments to teach $\omega$-automata and model
                  checking.}
}
@techreport{duret.99.tr03,
  author = {Alexandre Duret-Lutz and Thierry G\'eraud},
  title = {Patrons de conception statiques pour la programmation
		  g\'en\'erique en {C++}},
  institution = {EPITA Research and Development Laboratory},
  year = {1999},
  type = {Technical Report},
  number = {9903},
  address = {Paris},
  month = sep,
  pdf = {adl/duret.99.tr03.pdf}
}