@article{McMillan:1995:TSS:204526.204528,
    Address = {Hingham, MA, USA},
    Author = {McMillan, K. L.},
    File = {A technique of state space search based on unfolding - McMillan (0) (0) - a - a - s.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {Petri nets and unfolding},
    Month = {January},
    Number = {1},
    Pages = {45--65},
    Publisher = {Kluwer Academic Publishers},
    Title = {A technique of state space search based on unfolding},
    URL = {http://dx.doi.org/10.1007/BF01384314},
    Volume = {6},
    Year = {1995},
    acmid = {204528},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF01384314},
    date-added = {2013-02-22 14:00:44 +0000},
    date-modified = {2013-02-22 14:01:43 +0000},
    issue_date = {Jan. 1995},
    numpages = {21},
    doi = {10.1007/BF01384314}
}

@article{McMillan:1995:TSS:204526.204528, Address = {Hingham, MA, USA}, Author = {McMillan, K. L.}, File = {A technique of state space search based on unfolding - McMillan (0) (0) - a - a - s.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {Petri nets and unfolding}, Month = {January}, Number = {1}, Pages = {45--65}, Publisher = {Kluwer Academic Publishers}, Title = {A technique of state space search based on unfolding}, URL = {http://dx.doi.org/10.1007/BF01384314}, Volume = {6}, Year = {1995}, acmid = {204528}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF01384314}, date-added = {2013-02-22 14:00:44 +0000}, date-modified = {2013-02-22 14:01:43 +0000}, issue_date = {Jan. 1995}, numpages = {21}, doi = {10.1007/BF01384314} }