DBLP Record 'conf/istcs/GerthKPP95'

BibTeX

@inproceedings{DBLP:conf/istcs/GerthKPP95,
  author    = {Rob Gerth and
               Ruurd Kuiper and
               Doron Peled and
               Wojciech Penczek},
  title     = {A Partial Order Approach to Branching Time Logic Model Checking},
  booktitle = {ISTCS},
  year      = {1995},
  pages     = {130-139},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}