@inproceedings{VSchuppan-QAPL-2013-preproceedings,
  author={V. Schuppan},
  title={Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance},
  booktitle={QAPL},
  year={2013},
  crossref={VS:conf/qapl/2013},
  note={Available from \url{http://www.schuppan.de/viktor/VSchuppan-QAPL-2013-preproceedings.pdf}},
}

@proceedings{VS:conf/qapl/2013,
  editor={L. Bortolussi and H. Wiklicky},
  title={Preliminary Proceedings of the Eleventh International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013},
  booktitle={QAPL},
  year={2013},
}