Finding Recurrent Sets with Backward Analysis and Trace Partitioning

Bakhirkin, A.; Piterman, N.

Finding Recurrent Sets with Backward Analysis and Trace Partitioning (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{BP16,
  author =       {A. Bakhirkin and N. Piterman},
  title = 	 {Finding Recurrent Sets with Backward Analysis and Trace Partitioning},
  booktitle = {22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = 	 {17--35},
  volume =       {9636},
  year = 	 {2016},
  publisher = springer,
  series = lncs,
  OPTpdf = 	 {},
  OPTurl = 	 {},
  keywords = {Static Analysis},
}