literature.bib

Beitrag in einer Zeitschrift
@article{MopOverview,
  author = {Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and
    Feng Chen and Grigore Ro{\c{s}}u},
  title = {An {O}verview of the {MOP} {R}untime {V}erification {F}ramework},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  volume = {14},
  number = {3},
  year = {2012},
  pages = {249--289}
}

Beitrag in einem Sammlungsband
@incollection{moore,
  author = {Edward F. Moore},
  title = {Gedanken-{E}xperiments on {S}equential {M}achines},
  booktitle = {Automata Studies},
  editor = {Claude Shannon and John McCarthy},
  pages = {129--153},
  publisher = {Princeton University Press},
  year = {1956}
}

Buch
@book{scala,
  author = {Martin Odersky and Lex Spoon and Bill Venners},
  title = {Programming in {S}cala: {A} {C}omprehensive {S}tep-by-step {G}uide},
  year = {2008},
  edition = {1. Auflage},
  publisher = {Artima Incorporation}
}

Beitrag im Berichtsband einer Konferenz
@inproceedings{rltl,
  author = {Martin Leucker and C{\'e}sar S{\'a}nchez},
  title = {Regular {L}inear {T}emporal {L}ogic},
  booktitle = {Proceedings of the 4th International Colloquium on
    Theoretical Aspects of Computing (ICTAC)},
  pages = {291--305},
  year = 2007,
  editor = {C. B. Jones and Z. Liu and J. Woodcock},
  volume = 4711,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science}
}

technischer Bericht
@techreport{bitkom,
  author = {Stephan Ziegler and Anne Müller},
  title = {Eingebettete {S}ysteme -- {E}in strategisches {W}achstumsfeld für {D}eutschland: {A}nwendungsbeispiele, {Z}ahlen und {T}rends},
  institution = {Bundesverband Informationswirtschaft, Telekommunikation und neue Medien e.V. (BITKOM)},
  year = {2010},
}

Dissertation
@phdthesis{Leucker02,
  author = {Martin Leucker},
  title = {Logics for {M}azurkiewicz {T}races},
  year = {2002},
  school = {RWTH Aachen},
  type = {Dissertation}
}

Abschlussarbeit
@mastersthesis{RltlConv,
  author = {Malte Schmitz},
  title = {Transformation von regulärer {L}inearzeit-{T}emporallogik zu {P}aritätsautomaten},
  year = {2012},
  school = {Universität zu Lübeck},
  type = {Bachelorarbeit}
}

(noch) nicht veröffentlichter Artikel
@unpublished{ptLTL,
  author = {Grigore Ro{\c{s}}u},
  note = {Vorlesung am Formal Systems Laboratory, Department of Computer Science at the University of Illinois at Urbana-Champaign},
  month = {Frühling},
  year = {2007},
  title = {{A} {M}onitor {S}ynthesis {A}lgorithm for {P}ast {LTL}}
}

Artikel auf einer Website
@misc{codecommit,
  author = {Daniel Spiewak},
  title = {The {M}agic {B}ehind {P}arser {C}ombinators},
  year = {2009},
  howpublished = "\url{http://www.codecommit.com/blog/scala/the-magic-behind-parser-combinators}",
  note = "[Online; Zugriff am 03.03.2014]"
}