FronkB09'

BibTeX

@inproceedings{DBLP:conf/RelMiCS/FronkB09,
  author    = {Alexander Fronk and
               Rudolf Berghammer},
  title     = {A Relation-Algebraic Approach to Liveness of Place/Transition
               Nets},
  booktitle = {RelMiCS},
  year      = {2009},
  pages     = {103-118},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1_8},
  crossref  = {DBLP:conf/RelMiCS/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/RelMiCS/2009,
  editor    = {Rudolf Berghammer and
               Ali Jaoua and
               Bernhard M{\"o}ller},
  title     = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS
               2009, and 6th International Conference on Applications of
               Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009.
               Proceedings},
  booktitle = {RelMiCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5827},
  year      = {2009},
  isbn      = {978-3-642-04638-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04639-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}