@inproceedings{DF08,
  title = "Subsequence Invariants",
  author = "Klaus Dr{\"a}ger and Bernd Finkbeiner",
  year = "2008",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 19th International Conference on Concurrency Theory",
  editor = "Franck van Breugel and Marsha Chechik",
  pages = "172-168",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5201",
}