|
Search the dblp DataBase
Bernard Willems:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernard Willems, Pierre Wolper
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. [Citation Graph (0, 0)][DBLP] LICS, 1996, pp:294-303 [Conf]
- Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
The Power of QDDs (Extended Abstract). [Citation Graph (0, 0)][DBLP] SAS, 1997, pp:172-186 [Conf]
- Alain Finkel, Bernard Willems, Pierre Wolper
A direct symbolic approach to model checking pushdown systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2000, v:74, n:5-6, pp:221-227 [Journal]
Search in 0.001secs, Finished in 0.001secs
|