Searching for authors named "Bernard Willems" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Partial-Order Methods for Model Checking: From Linear Time to Branching Time
- …Partial-Order Methods for Model Checking: From Linear Time to Branching Time Bernard Willems Pierre…
- Cited by 15 (0 self) – Add To MetaCart
-
The Power of QDDs
- …The Power of QDDs (DRAFT) Bernard Boigelot 1? , Patrice Godefroid 2 , Bernard Willems 1…
- Cited by 47 (1 self) – Add To MetaCart
-
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended )
- … ENS de Cachan 94235 Cachan, France finkel@(email omitted); Bernard Willems Pierre Wolper Universit…
- Add To MetaCart
-
A Direct Symbolic Approach to Model Checking Pushdown Systems (Extended Abstract)
- …) Alain Finkel LSV ENS de Cachan 94235 Cachan, France finkel@(email omitted); Bernard Willems Pierre…
- Cited by 88 (4 self) – Add To MetaCart
-
http://www.lsv.ens-cachan.fr/Publis/
- … 2 , Alain Finkel 3 , Oded Maler 4 , Peter Rossmanith 2 , Bernard Willems 5 , and Pierre…
- Add To MetaCart
Showing 1 through 5.
