Godefroid Niyombare

Recent publications · Crossref

5 total works indexed

1. DART

   · 2005 · cited 1,516x

2. How successful are plant species reintroductions?

   · 2011 · cited 562x

3. Model checking for programming languages using VeriSoft

   · 1997 · cited 543x

4. DART

   · 2005 · cited 379x

5. Dynamic partial-order reduction for model checking software

   · 2005 · cited 349x

via Crossref · CC0