DBLP Record 'conf/informatiktage/LoserLNR09'

BibTeX

@inproceedings{DBLP:conf/informatiktage/LoserLNR09,
  author    = {Moritz L{\"o}ser and
               Martin Leucker and
               Dirk Nowotka and
               Joachim Rischen},
  title     = {{\"A}quivalenzklassen mit Zeit und Zust{\"a}nden},
  booktitle = {Informatiktage},
  year      = {2009},
  pages     = {87-90},
  crossref  = {DBLP:conf/informatiktage/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/informatiktage/2009,
  editor    = {Ludger Porada},
  title     = {Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress
               27. und 28. M{\"a}rz 2009, B-IT Bonn-Aachen International
               Center for Information Technology in Bonn},
  booktitle = {Informatiktage},
  publisher = {GI},
  series    = {LNI, LNI},
  volume    = {S-8},
  year      = {2009},
  isbn      = {978-3-88579-442-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}