@article{Delzanno201256,
    Author = {Delzanno, Giorgio and Zavattaro, Gianluigi},
    File = {Reachability problems in BioAmbients - Delzanno, Zavattaro (0) (0) - a - a - o.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Turing completeness},
    Note = {<ce:title>Modelling and Analysis of Biological Systems</ce:title> <ce:subtitle>Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)</ce:subtitle>},
    Number = {0},
    Pages = {56 - 74},
    Title = {Reachability problems in BioAmbients},
    URL = {http://www.sciencedirect.com/science/article/pii/S030439751101022X},
    Volume = {431},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S030439751101022X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2011.12.056},
    date-added = {2012-12-18 11:11:37 +0000},
    date-modified = {2012-12-18 11:11:37 +0000},
    doi = {10.1016/j.tcs.2011.12.056}
}

@article{Delzanno201256, Author = {Delzanno, Giorgio and Zavattaro, Gianluigi}, File = {Reachability problems in BioAmbients - Delzanno, Zavattaro (0) (0) - a - a - o.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Turing completeness}, Note = {Modelling and Analysis of Biological Systems Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)}, Number = {0}, Pages = {56 - 74}, Title = {Reachability problems in BioAmbients}, URL = {http://www.sciencedirect.com/science/article/pii/S030439751101022X}, Volume = {431}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S030439751101022X}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2011.12.056}, date-added = {2012-12-18 11:11:37 +0000}, date-modified = {2012-12-18 11:11:37 +0000}, doi = {10.1016/j.tcs.2011.12.056} }