Efficient guided symbolic reachability using reachability expressions

Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya. Efficient guided symbolic reachability using reachability expressions. STTT, 10(2):113-129, 2008. [doi]

@article{ThomasCP08,
  title = {Efficient guided symbolic reachability using reachability expressions},
  author = {Dina Thomas and Supratik Chakraborty and Paritosh K. Pandya},
  year = {2008},
  doi = {10.1007/s10009-007-0057-7},
  url = {http://dx.doi.org/10.1007/s10009-007-0057-7},
  researchr = {https://researchr.org/publication/ThomasCP08},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {10},
  number = {2},
  pages = {113-129},
}