Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

SZS - Publications - A Negative Result on Depth-First Unfoldings

 

Reference:

Javier Esparza, Pradeep Kanade, and Stefan Schwoon. A negative result on depth-first unfoldings. Software Tools for Technology Transfer, 2007. Online First DOI 10.1007/s10009-007-0030-5.

Suggested BibTeX entry:

@article{EKS07,
    author = {Javier Esparza and Pradeep Kanade and Stefan Schwoon},
    journal = {Software Tools for Technology Transfer},
    note = {Online First DOI 10.1007/s10009-007-0030-5},
    title = {A Negative Result on Depth-First Unfoldings},
    year = {2007}
}

GZipped PostScript (80 kB)