Maidl00'

BibTeX

@inproceedings{DBLP:conf/focs/Maidl00,
  author    = {Monika Maidl},
  title     = {The Common Fragment of CTL and LTL},
  booktitle = {FOCS},
  year      = {2000},
  pages     = {643-652},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}