@inproceedings{MoSc08,
  key         ={MoSc08},
  author      ={A. Morgenstern and K. Schneider},
  title       ={From {LTL} to Symbolically Represented Deterministic Automata},
  booktitle   ={Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  address     ={San Francisco, USA},
  editor      ={F. Logozzo and D.A. Peled and L.D. Zuck},
  publisher   ={Springer},
  series      ={LNCS},
  volume      ={4905},
  pages       ={279-293},
  year        ={2008},
  remark      ={rsg}
}