literature/automatentheorie.bibtex


1
2
3
4
5
6

@book{hofmann2011automatentheorie,
  title={Automatentheorie und Logik},
  author={Hofmann, Martin and Lange, Martin},
  year={2011},
  publisher={Springer-Verlag}
}