HustadtDSF00'

BibTeX

@inproceedings{DBLP:conf/frocos/HustadtDSF00,
  author    = {Ullrich Hustadt and
               Clare Dixon and
               Renate A. Schmidt and
               Michael Fisher},
  title     = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
  booktitle = {FroCos},
  year      = {2000},
  pages     = {73-87},
  crossref  = {DBLP:conf/frocos/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/frocos/2000,
  editor    = {H{\'e}l{\`e}ne Kirchner and
               Christophe Ringeissen},
  title     = {Frontiers of Combining Systems, Third International Workshop,
               FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings},
  booktitle = {FroCoS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1794},
  year      = {2000},
  isbn      = {3-540-67281-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}