Reference:

Javier Esparza, Loïg Jezequel, and Stefan Schwoon. Computation of summaries using net unfoldings. In FSTTCS, pages 225–236, 2013.

Suggested BibTeX entry:

@inproceedings{EJS13,
    author = {Javier Esparza and Lo\"ig Jezequel and Stefan Schwoon},
    booktitle = {FSTTCS},
    pages = {225--236},
    title = {Computation of summaries using net unfoldings},
    year = {2013}
}