Authors: Bouajjani, A

Citation: A. Bouajjani, Untitled - Preface, THEOR COMP, 256(1-2), 2001, pp. 1-2

Authors: Bouajjani, A Esparza, J Finkel, A Maler, O Rossmanith, P Willems, B Wolper, P

Citation: A. Bouajjani et al., An efficient automats approach to some problems on context-free grammars, INF PROCESS, 74(5-6), 2000, pp. 221-227

Authors: Bouajjani, A Habermehl, P

Citation: A. Bouajjani et P. Habermehl, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, THEOR COMP, 221(1-2), 1999, pp. 211-250