@incollection{BouajjaniEchahedRobbana:1994,
    Author = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh},
    BookTitle = {CONCUR '94: Concurrency Theory},
    Editor = {Jonsson, Bengt and Parrow, Joachim},
    File = {Verification of nonregular temporal properties for context-free processes - Bouajjani, Echahed, Robbana (0) (0) - a - a - z.pdf},
    ISBN = {978-3-540-58329-5},
    Pages = {81-97},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Verification of nonregular temporal properties for context-free processes},
    URL = {http://dx.doi.org/10.1007/BFb0015000},
    Volume = {836},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0015000},
    date-added = {2014-03-23 17:47:57 +0000},
    date-modified = {2014-03-23 17:47:57 +0000},
    doi = {10.1007/BFb0015000}
}

@incollection{BouajjaniEchahedRobbana:1994, Author = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh}, BookTitle = {CONCUR '94: Concurrency Theory}, Editor = {Jonsson, Bengt and Parrow, Joachim}, File = {Verification of nonregular temporal properties for context-free processes - Bouajjani, Echahed, Robbana (0) (0) - a - a - z.pdf}, ISBN = {978-3-540-58329-5}, Pages = {81-97}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Verification of nonregular temporal properties for context-free processes}, URL = {http://dx.doi.org/10.1007/BFb0015000}, Volume = {836}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0015000}, date-added = {2014-03-23 17:47:57 +0000}, date-modified = {2014-03-23 17:47:57 +0000}, doi = {10.1007/BFb0015000} }