BibTeX

@InProceedings{jezmal11,
  keywords = {tt-in-mt},
  pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/jezmal11.pdf},
  url = {https://dx.doi.org/10.1007/978-3-642-22256-6_19},
  publisher = {(c) Springer-Verlag},
  author = {Artur Jez and Andreas Maletti},
  title = {Computing all l-cover automata fast},
  booktitle = {Proc. 16th Int. Conf. Implementation and Application of Automata},
  pages = {203-214},
  editor = {BĂ©atrice Bouchou-Markhoff and Pascal Caron and Jean-Marc Champarnaud and Denis Maurel},
  volume = 6807,
  series = {LNCS},
  year = 2011
}