@incollection{SeidlAV14,
  author = {Helmut Seidl and Kalmer Apinis and Vesal Vojdani},
  title = {Frameworks for {I}nterprocedural {A}nalysis of {C}oncurrent {P}rograms},
  booktitle = {Software Systems Safety},
  editor = {Orna Grumberg and Helmut Seidl and Maximilian Irlbeck},
  year = 2014,
  pages = {309--347},
  series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
  volume = {36},
  publisher = {IOS Press},
  doi = {10.3233/978-1-61499-385-8-309},
}