 | 2000 |
|---|
| 4 |       | Ahmed Bouajjani,
Javier Esparza,
Alain Finkel,
Oded Maler,
Peter Rossmanith,
Bernard Willems,
Pierre Wolper:
An efficient automata approach to some problems on context-free grammars.
Inf. Process. Lett. 74(5-6): 221-227 (2000) |
| 1997 |
|---|
| 3 |  | Bernard Boigelot,
Patrice Godefroid,
Bernard Willems,
Pierre Wolper:
The Power of QDDs (Extended Abstract).
SAS 1997: 172-186 |
| 2 | | Alain Finkel,
Bernard Willems,
Pierre Wolper:
A direct symbolic approach to model checking pushdown systems.
Electr. Notes Theor. Comput. Sci. 9: (1997) |
| 1996 |
|---|
| 1 | | Bernard Willems,
Pierre Wolper:
Partial-Order Methods for Model Checking: From Linear Time to Branching Time.
LICS 1996: 294-303 |
