@inproceedings{Degano:2013:TNC:2526085.2526098,
    Author = {Degano, Pierpaolo and Ferrari, Gian-Luigi and Mezzetti, Gianluca},
    BookTitle = {Proc. of CIAA'13},
    File = {Towards Nominal Context-free Model-checking - Degano, Ferrari, Mezzetti (0) (0) - a - a - h.pdf},
    ISBN = {978-3-642-39273-3},
    Location = {Halifax, NS, Canada},
    Pages = {109--121},
    Publisher = {Springer},
    Series = {CIAA'13},
    Title = {Towards Nominal Context-free Model-checking},
    URL = {http://dx.doi.org/10.1007/978-3-642-39274-0\_11},
    Year = {2013},
    acmid = {2526098},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39274-0\_11},
    date-added = {2015-03-13 13:37:28 +0000},
    date-modified = {2015-04-13 14:07:04 +0000},
    numpages = {13},
    doi = {10.1007/978-3-642-39274-0_11}
}

@inproceedings{Degano:2013:TNC:2526085.2526098, Author = {Degano, Pierpaolo and Ferrari, Gian-Luigi and Mezzetti, Gianluca}, BookTitle = {Proc. of CIAA'13}, File = {Towards Nominal Context-free Model-checking - Degano, Ferrari, Mezzetti (0) (0) - a - a - h.pdf}, ISBN = {978-3-642-39273-3}, Location = {Halifax, NS, Canada}, Pages = {109--121}, Publisher = {Springer}, Series = {CIAA'13}, Title = {Towards Nominal Context-free Model-checking}, URL = {http://dx.doi.org/10.1007/978-3-642-39274-0_11}, Year = {2013}, acmid = {2526098}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39274-0_11}, date-added = {2015-03-13 13:37:28 +0000}, date-modified = {2015-04-13 14:07:04 +0000}, numpages = {13}, doi = {10.1007/978-3-642-39274-0_11} }