@incollection{reachabilityPRS:03,
    Author = {Bouajjani, Ahmed and Touili, Tayssir},
    BookTitle = {FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science},
    Editor = {Pandya, ParitoshK. and Radhakrishnan, Jaikumar},
    File = {Reachability Analysis of Process Rewrite Systems - Bouajjani, Touili (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-20680-4},
    Keywords = {process rewrite systems and saturation method},
    Pages = {74-87},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Reachability Analysis of Process Rewrite Systems},
    URL = {http://dx.doi.org/10.1007/978-3-540-24597-1\_7},
    Volume = {2914},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24597-1\_7},
    date-added = {2012-11-27 19:01:39 +0000},
    date-modified = {2013-01-31 10:20:18 +0000},
    file-2 = {Reachability Analysis of Process Rewrite Systems - Bouajjani, Touili (1) (0) - a - a - n.pdf},
    doi = {10.1007/978-3-540-24597-1_7}
}

@incollection{reachabilityPRS:03, Author = {Bouajjani, Ahmed and Touili, Tayssir}, BookTitle = {FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science}, Editor = {Pandya, ParitoshK. and Radhakrishnan, Jaikumar}, File = {Reachability Analysis of Process Rewrite Systems - Bouajjani, Touili (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-20680-4}, Keywords = {process rewrite systems and saturation method}, Pages = {74-87}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Reachability Analysis of Process Rewrite Systems}, URL = {http://dx.doi.org/10.1007/978-3-540-24597-1_7}, Volume = {2914}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24597-1_7}, date-added = {2012-11-27 19:01:39 +0000}, date-modified = {2013-01-31 10:20:18 +0000}, file-2 = {Reachability Analysis of Process Rewrite Systems - Bouajjani, Touili (1) (0) - a - a - n.pdf}, doi = {10.1007/978-3-540-24597-1_7} }