Subsequence Invariants
Klaus Dräger and Bernd Finkbeiner
Address
Berlin Heidelberg
Book Title
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
Year
2008