@article{CambridgeJournals:241903,
    Author = {Bozzano, Marco and Delzanno, Giorgio and Martelli, Maurizio},
    EPrint = {http://journals.cambridge.org/article\_S1471068404002066},
    File = {Model checking linear logic specifications - Bozzano, Delzanno, Martelli (0) (0) - a - a - h.pdf},
    ISSN = {1475-3081},
    Issue = {5-6},
    Journal = {Theory and Practice of Logic Programming},
    Pages = {573--619},
    Title = {Model checking linear logic specifications},
    URL = {http://dx.doi.org/10.1017/S1471068404002066},
    Volume = {4},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S1471068404002066},
    date-added = {2012-12-18 10:46:57 +0000},
    date-modified = {2012-12-18 10:46:57 +0000},
    numpages = {47},
    doi = {10.1017/S1471068404002066}
}

@article{CambridgeJournals:241903, Author = {Bozzano, Marco and Delzanno, Giorgio and Martelli, Maurizio}, EPrint = {http://journals.cambridge.org/article_S1471068404002066}, File = {Model checking linear logic specifications - Bozzano, Delzanno, Martelli (0) (0) - a - a - h.pdf}, ISSN = {1475-3081}, Issue = {5-6}, Journal = {Theory and Practice of Logic Programming}, Pages = {573--619}, Title = {Model checking linear logic specifications}, URL = {http://dx.doi.org/10.1017/S1471068404002066}, Volume = {4}, bdsk-url-1 = {http://dx.doi.org/10.1017/S1471068404002066}, date-added = {2012-12-18 10:46:57 +0000}, date-modified = {2012-12-18 10:46:57 +0000}, numpages = {47}, doi = {10.1017/S1471068404002066} }