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