@inproceedings{NittaSeki:GeneralisedGrowing:2003,
    Author = {Nitta, Naoya and Seki, Hiroyuki},
    BookTitle = {Proc. of CONCUR'03},
    Editor = {Amadio, Roberto and Lugiez, Denis},
    File = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.pdf},
    ISBN = {978-3-540-40753-9},
    Pages = {281-295},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {An Extension of Pushdown System and Its Model Checking Method},
    URL = {http://dx.doi.org/10.1007/978-3-540-45187-7\_19},
    Volume = {2761},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45187-7\_19},
    date-added = {2014-01-16 16:33:20 +0000},
    date-modified = {2014-05-30 09:46:04 +0000},
    file-2 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.graffle},
    file-3 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (1) (0) - a - a - g.pdf},
    file-4 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.ps},
    doi = {10.1007/978-3-540-45187-7_19}
}

@inproceedings{NittaSeki:GeneralisedGrowing:2003, Author = {Nitta, Naoya and Seki, Hiroyuki}, BookTitle = {Proc. of CONCUR'03}, Editor = {Amadio, Roberto and Lugiez, Denis}, File = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.pdf}, ISBN = {978-3-540-40753-9}, Pages = {281-295}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {An Extension of Pushdown System and Its Model Checking Method}, URL = {http://dx.doi.org/10.1007/978-3-540-45187-7_19}, Volume = {2761}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45187-7_19}, date-added = {2014-01-16 16:33:20 +0000}, date-modified = {2014-05-30 09:46:04 +0000}, file-2 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.graffle}, file-3 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (1) (0) - a - a - g.pdf}, file-4 = {An Extension of Pushdown System and Its Model Checking Method - Nitta, Seki (0) (0) - a - a - g.ps}, doi = {10.1007/978-3-540-45187-7_19} }