DBLP Record 'journals/fuin/PenczekSGK00'

BibTeX

@article{DBLP:journals/fuin/PenczekSGK00,
  author    = {Wojciech Penczek and
               Maciej Szreter and
               Rob Gerth and
               Ruurd Kuiper},
  title     = {Improving Partial Order Reductions for Universal Branching
               Time Properties},
  journal   = {Fundam. Inform.},
  volume    = {43},
  number    = {1-4},
  year      = {2000},
  pages     = {245-267},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}