ClarkeG87'

BibTeX

@inproceedings{DBLP:conf/podc/ClarkeG87,
  author    = {Edmund M. Clarke and
               Orna Grumberg},
  title     = {Avoiding The State Explosion Problem in Temporal Logic Model
               Checking},
  booktitle = {PODC},
  year      = {1987},
  pages     = {294-303},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}