@inproceedings{Schmitz:2013:PWS:2529453.2529456,
    Address = {Berlin, Heidelberg},
    Author = {Schmitz, Sylvain and Schnoebelen, Philippe},
    BookTitle = {Proceedings of the 24th international conference on Concurrency Theory},
    File = {The power of well-structured systems - Schmitz, Schnoebelen (1) (0) - a - a - v.pdf},
    ISBN = {978-3-642-40183-1},
    Keywords = {well-structured transition systems},
    Location = {Buenos Aires, Argentina},
    Pages = {5--24},
    Publisher = {Springer-Verlag},
    Series = {CONCUR'13},
    Title = {The power of well-structured systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-40184-8\_2},
    Year = {2013},
    acmid = {2529456},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8\_2},
    date-added = {2013-10-10 09:14:30 +0000},
    date-modified = {2013-10-10 09:14:35 +0000},
    file-2 = {The power of well-structured systems - Schmitz, Schnoebelen (0) (0) - a - a - v.pdf},
    numpages = {20},
    doi = {10.1007/978-3-642-40184-8_2}
}

@inproceedings{Schmitz:2013:PWS:2529453.2529456, Address = {Berlin, Heidelberg}, Author = {Schmitz, Sylvain and Schnoebelen, Philippe}, BookTitle = {Proceedings of the 24th international conference on Concurrency Theory}, File = {The power of well-structured systems - Schmitz, Schnoebelen (1) (0) - a - a - v.pdf}, ISBN = {978-3-642-40183-1}, Keywords = {well-structured transition systems}, Location = {Buenos Aires, Argentina}, Pages = {5--24}, Publisher = {Springer-Verlag}, Series = {CONCUR'13}, Title = {The power of well-structured systems}, URL = {http://dx.doi.org/10.1007/978-3-642-40184-8_2}, Year = {2013}, acmid = {2529456}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8_2}, date-added = {2013-10-10 09:14:30 +0000}, date-modified = {2013-10-10 09:14:35 +0000}, file-2 = {The power of well-structured systems - Schmitz, Schnoebelen (0) (0) - a - a - v.pdf}, numpages = {20}, doi = {10.1007/978-3-642-40184-8_2} }